L10.bib

@inproceedings{EnglerETAL00CheckingSystemRulesUsingSystemspecificProgrammerwritten,
         title = {Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions},
        author = {Dawson R. Engler and Benjamin Chelf and Andy Chou and Seth Hallem},
        editor = {Michael B. Jones and M. Frans Kaashoek},
     booktitle = {OSDI},
          year = {2000},
         pages = {1--16},
     publisher = {{USENIX} Association},
          link = {http://dl.acm.org/citation.cfm?id=1251230}
}

@inproceedings{TanETAL07IcommentBugsBadComments,
         title = {/*icomment: bugs or bad comments?*/},
        author = {Lin Tan and Ding Yuan and Gopal Krishna and Yuanyuan Zhou},
        editor = {Thomas C. Bressoud and M. Frans Kaashoek},
     booktitle = {SOSP},
          year = {2007},
         pages = {145--158},
     publisher = {{ACM}},
           doi = {10.1145/1294261.1294276},
          link = {http://doi.acm.org/10.1145/1294261.1294276}
}

@inproceedings{TanZhouPadioleau11AcommentMiningAnnotationsFromCommentsCode,
         title = {aComment: mining annotations from comments and code to detect interrupt related concurrency bugs},
        author = {Lin Tan and Yuanyuan Zhou and Yoann Padioleau},
        editor = {Richard N. Taylor and Harald Gall and Nenad Medvidovic},
     booktitle = {ICSE},
          year = {2011},
         pages = {11--20},
     publisher = {{ACM}},
           doi = {10.1145/1985793.1985796},
          link = {http://doi.acm.org/10.1145/1985793.1985796}
}