Search Sciweavers | Sciweavers

125 search results - page 1 / 25

» Bounds Checking with Taint-Based Analysis

click to vote

HIPEAC
2007
Springer

139views System Software» more HIPEAC 2007»

Bounds Checking with Taint-Based Analysis

14 years 1 months ago

Download www.hipeac.net

Weihaw Chuang, Satish Narayanasamy, Brad Calder, R...

claim paper

Read More »

click to vote

PLDI
1990
ACM

87views Programming Languages» more PLDI 1990»

A Fresh Look at Optimizing Array Bound Checking

13 years 11 months ago

Download www.cs.berkeley.edu

- This paper describes techniques for optimizing range checks performed to detect array bound violations. In addition to the elimination of range check:s, the optimizations discuss...

Rajiv Gupta

claim paper

Read More »

click to vote

CC
2011
Springer

270views System Software» more CC 2011»

Subregion Analysis and Bounds Check Elimination for High Level Arrays

12 years 11 months ago

Download www.cs.rice.edu

For decades, the design and implementation of arrays in programming languages has reﬂected a natural tension between productivity and performance. Recently introduced HPCS langua...

Mackale Joyner, Zoran Budimlic, Vivek Sarkar

claim paper

Read More »

click to vote

ASM
2010
ASM

246views Computational Biology» more ASM 2010»

A Case for Using Data-Flow Analysis to Optimize Incremental Scope-Bounded Checking

13 years 10 months ago