227
click to vote
PLDI
14 years 8 months ago
2011 ACM 
Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized test-case generation tool, and spent three years using it to find compiler bug...
208
click to vote
PLDI
14 years 8 months ago
2011 ACM 
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...
197
click to vote
PLDI
14 years 8 months ago
2011 ACM
Software modifications are often systematic—they consist of similar, but not identical, program changes to multiple contexts. Existing tools for systematic program transformati...
215
click to vote
PLDI
14 years 8 months ago
2011 ACM
MATLAB is an array language, initially popular for rapid prototyping, but is now being increasingly used to develop production code for numerical and scientific applications. Typ...
170
click to vote
PLDI
14 years 8 months ago
2011 ACM 
The most intuitive memory consistency model for shared-memory multi-threaded programming is sequential consistency (SC). However, current concurrent programming languages support ...
|
Programming Languages