149
Voted
PLDI
13 years 3 months ago
2012 ACM 
Concurrent, object-oriented programs often use thread-safe library classes. Existing techniques for testing a thread-safe class either rely on tests using the class, on formal spe...
125
click to vote
PLDI
13 years 3 months ago
2012 ACM
While graphics processing units (GPUs) provide low-cost and efficient platforms for accelerating high performance computations, the tedious process of performance tuning required...
102
click to vote
PLDI
13 years 3 months ago
2012 ACM
To report a compiler bug, one must often find a small test case that triggers the bug. The existing approach to automated test-case reduction, delta debugging, works by removing ...
PLDI
13 years 3 months ago
2012 ACM
Self-stabilizing programs automatically recover from state corruption caused by software bugs and other sources to reach the correct state. A number of applications are inherently...
116
Voted
PLDI
13 years 3 months ago
2012 ACM
Modern architectures implement relaxed memory models which may reorder memory operations or execute them non-atomically. Special instructions called memory fences are provided, al...
|
Programming Languages