PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Condit, Jeremy"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques.

, , , , , , , und . OSDI, Seite 45-60. USENIX Association, (2006)

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.

Jeremy Nuzzo University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

CCured in the real world., , , , und . PLDI, Seite 232-244. ACM, (2003)Capriccio: scalable threads for internet services., , , , und . SOSP, Seite 268-281. ACM, (2003)Unifying type checking and property checking for low-level code., , , und . POPL, Seite 302-314. ACM, (2009)Thirty Years Is Long Enough: Getting Beyond C., , , und . HotOS, USENIX Association, (2005)Data Slicing: Separating the Heap into Independent Regions., und . CC, Volume 3443 von Lecture Notes in Computer Science, Seite 172-187. Springer, (2005)Dynamically replicated memory: building reliable systems from nanoscale resistive memories., , , , und . ASPLOS, Seite 3-14. ACM, (2010)Dependent Types for Low-Level Programming., , , , und . ESOP, Volume 4421 von Lecture Notes in Computer Science, Seite 520-535. Springer, (2007)Better I/O through byte-addressable, persistent memory., , , , , , und . SOSP, Seite 133-146. ACM, (2009)SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques., , , , , , , und . OSDI, Seite 45-60. USENIX Association, (2006)Beyond Bug-Finding: Sound Program Analysis for Linux., , , , , , , und . HotOS, USENIX Association, (2007)