( en | de | ru )

 

Disambiguation of "Harren, Matthew"

Author of the publication

copydeleteadd this publication to your clipboard
Beyond Bug-Finding: Sound Program Analysis for Linux.

, , , , , , , and . HotOS, USENIX Association, (2007)

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.

Kurt Harren

Arne Harren

Hendrik Harren

Rolf Harren

Martin Harren

 

Other publications of authors with the same name

Analysis of Low-Level Code Using Cooperating Decompilers., , and . SAS, volume 4134 of Lecture Notes in Computer Science, page 318-335. Springer, (2006)Dependent Types for Low-Level Programming., , , , and . ESOP, volume 4421 of Lecture Notes in Computer Science, page 520-535. Springer, (2007)SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques., , , , , , , and . OSDI, page 45-60. USENIX Association, (2006)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)Complex Queries in DHT-based Peer-to-Peer Networks., , , , , and . IPTPS, volume 2429 of Lecture Notes in Computer Science, page 242-259. Springer, (2002)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)Complex Queries un DHT-based Peer-to-Peer Networks, , and . Proceedings for the 1st International Workshop on Peer-to-Peer Systems (IPTPS '02), Cambridge, MA, USA, (March 2002)XJ: integration of XML processing into java., , , , , and . WWW (Alternate Track Papers & Posters), page 340-341. ACM, (2004)Lightweight Wrappers for Interfacing with Binary Code in CCured., and . ISSS, volume 3233 of Lecture Notes in Computer Science, page 209-225. Springer, (2003)