PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Harren, Matthew"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Dependent Types for Low-Level Programming.

, , , , und . ESOP, Volume 4421 von Lecture Notes in Computer Science, Seite 520-535. Springer, (2007)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Matthew Joliffe University of Stuttgart

Ph. D. Matthew Millard University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

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