257
Voted
PLDI
13 years 10 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...
244
click to vote
PLDI
13 years 10 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...
217
click to vote
PLDI
13 years 10 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 ...
210
click to vote
PLDI
13 years 10 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...
229
click to vote
PLDI
13 years 10 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