@inproceedings{yangFindingUnderstandingBugs,
  author    = {Xuejun Yang and
               Yang Chen and
               Eric Eide and
               John Regehr},
  title     = {Finding and understanding bugs in C compilers},
  booktitle = {PLDI},
  pages     = {283--294},
  publisher = {{ACM}},
  year      = {2011},,
  doi       = {10.1145/1993498.1993532},
}