Search

Harikumar Somakumar

from Pleasanton, CA
Age ~51

Harikumar Somakumar Phones & Addresses

  • 1022 Wat Ct, Pleasanton, CA 94566 (925) 484-0578
  • 1751 Warburton Ave, Santa Clara, CA 95050
  • Oakland, CA
  • 181 Weddell Ct, Sunnyvale, CA 94089 (408) 734-1512
  • Mountain View, CA
  • 1022 Wat Ct, Pleasanton, CA 94566

Work

Position: Clerical/White Collar

Education

Degree: Associate degree or higher

Publications

Us Patents

Optimizing Bounds Checking Using Computer Algebra

View page
US Patent:
20110185341, Jul 28, 2011
Filed:
Jan 28, 2010
Appl. No.:
12/695908
Inventors:
Harikumar Somakumar - Pleasanton CA, US
Jimin Wang - Shanghai, CN
Assignee:
SYNOPSYS, INC. - Mountain View CA
International Classification:
G06F 9/44
US Classification:
717110, 717126
Abstract:
Some embodiments of the present invention provide techniques and systems for optimizing bounds-checking During operation, the system can receive one or more instructions which when executed evaluate a first expression whose value is required to be between a lower bound expression's value and an upper bound expression's value, such that at least one of the following three values is not determinable before execution: the first expression's value, the lower bound expression's value, and the upper bound expression's value. Next, the system can use computer algebra to determine whether the first expression's value is guaranteed to be between the lower bound expression's value and the upper bound expression's value. If the system determines that the first expression's value is not guaranteed to be between the lower bound expression's value and the upper bound expression's value, the system can add bounds-checking instructions to the one or more instructions.
Harikumar Somakumar from Pleasanton, CA, age ~51 Get Report