Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques., , , , , , , und . OSDI, Seite 45-60. USENIX Association, (2006)HsDebug: debugging lazy programs by not being lazy., und . Haskell, Seite 84-87. ACM, (2003)Linear Types for Packet Processing., , und . ESOP, Volume 2986 von Lecture Notes in Computer Science, Seite 204-218. Springer, (2004)Verbose Typing.. ICFP, Seite 340. ACM, (1998)SIGPLAN Notices 34(1), January 1999.Safe manual memory management., , und . ISMM, Seite 2-14. ACM, (2007)Beyond Bug-Finding: Sound Program Analysis for Linux., , , , , , , und . HotOS, USENIX Association, (2007)Intel Mash Maker: join the web., , , , und . SIGMOD Record, 36 (4): 27-33 (2007)Multi-language Synchronization., und . ESOP, Volume 4421 von Lecture Notes in Computer Science, Seite 475-489. Springer, (2007)User-friendly functional programming for web mashups., und . ICFP, Seite 223-234. ACM, (2007)SharC: checking data sharing strategies for multithreaded C., , , und . PLDI, Seite 149-158. ACM, (2008)