Finding and understanding bugs in C compilers.

Xuejun Yang, Yang Chen, Eric Eide, John Regehr

Browse the full PLDI paper archive.