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

Complex Queries in DHT-based Peer-to-Peer Networks., , , , , and . IPTPS, volume 2429 of Lecture Notes in Computer Science, page 242-259. Springer, (2002)Using Dependent Types to Certify the Safety of Assembly Code., and . SAS, volume 3672 of Lecture Notes in Computer Science, page 155-170. Springer, (2005)XJ: facilitating XML processing in Java., , , , , , and . WWW, page 278-287. ACM, (2005)CCured in the real world., , , , and . PLDI, page 232-244. ACM, (2003)SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques., , , , , , , and . OSDI, page 45-60. USENIX Association, (2006)Dependent Types for Low-Level Programming., , , , and . ESOP, volume 4421 of Lecture Notes in Computer Science, page 520-535. Springer, (2007)Analysis of Low-Level Code Using Cooperating Decompilers., , and . SAS, volume 4134 of Lecture Notes in Computer Science, page 318-335. Springer, (2006)Beyond Bug-Finding: Sound Program Analysis for Linux., , , , , , , and . HotOS, USENIX Association, (2007)CCured: type-safe retrofitting of legacy software., , , , and . ACM Trans. Program. Lang. Syst., 27 (3): 477-526 (2005)Scrash: A System for Generating Secure Crash Information., , and . USENIX Security Symposium, USENIX Association, (2003)