( en | de | ru )

 

Disambiguierung von "Condit, Jeremy"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Unifying type checking and property checking for low-level code.

, , , und . POPL, Seite 302-314. ACM, (2009)

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 Cohen

Jérémy Bluteau

Jeremy Debattista

Jérémy Huart

Jérémy Fix

 

Weitere Publikationen von Autoren mit dem selben Namen

Capriccio: scalable threads for internet services., , , , und . SOSP, Seite 268-281. ACM, (2003)CCured in the real world., , , , und . PLDI, Seite 232-244. ACM, (2003)Data Slicing: Separating the Heap into Independent Regions., und . CC, Volume 3443 von Lecture Notes in Computer Science, Seite 172-187. Springer, (2005)Why Events Are A Bad Idea (for High-concurrency Servers), , und . Proceedings of the 9th conference on Hot Topics in Operating Systems - Volume 9, Seite 4. Berkeley, CA, USA, USENIX Association, (2003)Thirty Years Is Long Enough: Getting Beyond C., , , und . HotOS, USENIX Association, (2005)Type-preserving compilation for large-scale optimizing object-oriented compilers., , , , , , und . PLDI, Seite 183-192. ACM, (2008)Unifying type checking and property checking for low-level code., , , und . POPL, Seite 302-314. ACM, (2009)Why Events Are a Bad Idea (for High-Concurrency Servers)., , und . HotOS, Seite 19-24. USENIX, (2003)Beyond Bug-Finding: Sound Program Analysis for Linux., , , , , , , und . HotOS, USENIX Association, (2007)Dependent Types for Low-Level Programming., , , , und . ESOP, Volume 4421 von Lecture Notes in Computer Science, Seite 520-535. Springer, (2007)