160
click to vote
PLDI
15 years 6 months ago
2003 ACM 
With power-related concerns becoming dominant aspects of hardware and software design, significant research effort has been devoted towards system power minimization. Among run-t...
130
click to vote
PLDI
15 years 6 months ago
2003 ACM 
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...
136
click to vote
PLDI
15 years 6 months ago
2003 ACM 
We propose a low-overhead sampling infrastructure for gathering information from the executions experienced by a program’s user community. Several example applications illustrat...
111
click to vote
PLDI
15 years 6 months ago
2003 ACM 
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
120
click to vote
PLDI
15 years 6 months ago
2003 ACM 
The Real-Time Specification for Java (RTSJ) allows a program to create real-time threads with hard real-time constraints. Real-time threads use region-based memory management to ...
|
Programming Languages