487 search results - page 73 / 98 » A Compiled Implementation of Normalization by Evaluation |
115
click to vote
MIDDLEWARE
2007
Springer
15 years 5 months ago
2007
Springer
Although there is a large body of research on detection and prevention of such memory corruption attacks as buffer overflow, integer overflow, and format string attacks, the web...
104
click to vote
PPOPP
2006
ACM
15 years 5 months ago
2006
ACM
In prior work, we have proposed techniques to extend the ease of shared-memory parallel programming to distributed-memory platforms by automatic translation of OpenMP programs to ...
103
click to vote
DSN
2005
IEEE
15 years 5 months ago
2005
IEEE
The ability to check memory references against their associated array/buffer bounds helps programmers to detect programming errors involving address overruns early on and thus avo...
84
Voted
ISCA
1995
IEEE
15 years 3 months ago
1995
IEEE
Speculative execution is execution of instructions before it is known whether these instructions should be executed. Compiler-based speculative execution has the potential to achi...
CGO
2008
IEEE
15 years 1 months ago
2008
IEEE
Data-flow analysis is an integral part of any aggressive optimizing compiler. We propose a framework for improving the precision of data-flow analysis in the presence of complex c...