Author of the publication

aComment: mining annotations from comments and code to detect interrupt related concurrency bugs.

, , and . ICSE, page 11-20. ACM, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Semantic patches considered helpful., , , and . ACM SIGOPS Oper. Syst. Rev., 40 (3): 90-92 (2006)Documenting and automating collateral evolutions in linux device drivers., , , and . EuroSys, page 247-260. ACM, (2008)Towards easing the diagnosis of bugs in OS code., , , , , and . PLOS@SOSP, page 2:1-2:5. ACM, (2007)Parsing C/C++ Code without Pre-processing.. CC, volume 5501 of Lecture Notes in Computer Science, page 109-125. Springer, (2009)aComment: mining annotations from comments and code to detect interrupt related concurrency bugs., , and . ICSE, page 11-20. ACM, (2011)A Logic File System., and . USENIX Annual Technical Conference, General Track, page 99-112. USENIX, (2003)SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers., , and . EVOL (Selected Papers), volume 166 of Electronic Notes in Theoretical Computer Science, page 47-62. Elsevier, (2006)LISFS: a logical information system as a file system., , and . ICSE, page 803-806. ACM, (2006)Understanding collateral evolution in Linux device drivers., , and . EuroSys, page 59-71. ACM, (2006)Listening to programmers - Taxonomies and characteristics of comments in operating system code., , and . ICSE, page 331-341. IEEE, (2009)