Author of the publication

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

Lightweight control-flow instrumentation and postmortem analysis in support of debugging., and . ASE, page 378-388. IEEE, (2013)Defective error/pointer interactions in the Linux kernel., and . ISSTA, page 111-121. ACM, (2011)Array length inference for C library bindings., , and . ASE, page 461-471. ACM, (2016)Supporting nested transactional memory in logTM., , , , , , , and . ASPLOS, page 359-370. ACM, (2006)EIO: Error Handling is Occasionally Correct., , , , and . FAST, page 207-222. USENIX, (2008)Automated Detection and Repair of Concurrency Bugs.. Haifa Verification Conference, volume 7261 of Lecture Notes in Computer Science, page 3. Springer, (2011)Reflections on the Role of Static Analysis in Cooperative Bug Isolation.. SAS, volume 5079 of Lecture Notes in Computer Science, page 18-31. Springer, (2008)A router primitive approach for building diverse network services., , and . COMSNETS, page 1-10. IEEE, (2012)Statistical debugging: simultaneous identification of multiple bugs., , , , and . ICML, volume 148 of ACM International Conference Proceeding Series, page 1105-1112. ACM, (2006)Static Analysis for AWS Best Practices in Python Code., , , and . ECOOP, volume 222 of LIPIcs, page 14:1-14:28. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)