Author of the publication

Detecting Data Races Caused by Inconsistent Lock Protection in Device Drivers.

, , , , and . SANER, page 366-376. IEEE, (2019)

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

PatchNet: Hierarchical Deep Learning-Based Stable Patch Identification for the Linux Kernel., , , , and . IEEE Trans. Software Eng., 47 (11): 2471-2486 (2021)DCNS: Automated Detection Of Conservative Non-Sleep Defects in the Linux Kernel., , , and . ASPLOS, page 287-299. ACM, (2019)Editorial., , and . High. Order Symb. Comput., 21 (1-2): 1-3 (2008)Editorial.. J. Funct. Program., 18 (5-6): 565-566 (2008)On the Origins of Coccinelle.. Eelco Visser Commemorative Symposium, volume 109 of OASIcs, page 18:1-18:11. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Refactoring for Performance with Semantic Patching: Case Study with Recipes., and . ISC Workshops, volume 12761 of Lecture Notes in Computer Science, page 226-232. Springer, (2021)Semantic Patches for Java Program Transformation (Experience Report)., , , , , and . ECOOP, volume 134 of LIPIcs, page 22:1-22:27. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Automated patch backporting in Linux (experience paper)., , , , , and . ISSTA, page 633-645. ACM, (2021)Effective Static Analysis of Concurrency Use-After-Free Bugs in Linux Device Drivers., , , and . USENIX Annual Technical Conference, page 255-268. USENIX Association, (2019)Fast and Precise Retrieval of Forward and Back Porting Information for Linux Device Drivers., , , and . USENIX Annual Technical Conference, page 15-26. USENIX Association, (2017)