@inproceedings{acomment,
    author = {Lin Tan and Yuanyuan Zhou and Yoann Padioleau},
    title = {{aComment}: {M}ining Annotations from Comments and Code to Detect Interrupt-Related Concurrency Bugs},
    booktitle = {Proceedings of the 33rd International Conference on Software Engineering (ICSE11)},
    month  = {May},
    year   = {2011},
}