310 views159 votes14 years 4 months ago PLDI 2011»
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...
281 views107 votes13 years 3 months ago PLDI 2012»
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 ...