@inproceedings{
Yang11Finding,
Author = {Xuejun Yang and Yang Chen and Eric Eide and John Regehr},
Title = {Finding and Understanding Bugs in C Compilers},
Booktitle = {PLDI},
DOI = {10.1145/1993498.1993532},
Year = {2011}
}