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

Cleaning up copy-paste clones with interactive merging., , und . Autom. Softw. Eng., 25 (3): 627-673 (2018)Semantic Patches for Java Program Transformation (Experience Report)., , , , , und . ECOOP, Volume 134 von LIPIcs, Seite 22:1-22:27. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2019)Fast and Precise Retrieval of Forward and Back Porting Information for Linux Device Drivers., , , und . USENIX Annual Technical Conference, Seite 15-26. USENIX Association, (2017)Effective Static Analysis of Concurrency Use-After-Free Bugs in Linux Device Drivers., , , und . USENIX Annual Technical Conference, Seite 255-268. USENIX Association, (2019)The Battle of the Schedulers: FreeBSD ULE vs. Linux CFS., , , , , , , und . USENIX Annual Technical Conference, Seite 85-96. USENIX Association, (2018)DCNS: Automated Detection Of Conservative Non-Sleep Defects in the Linux Kernel., , , und . ASPLOS, Seite 287-299. ACM, (2019)Towards Proving Optimistic Multicore Schedulers., , , , , , , und . HotOS, Seite 18-23. ACM, (2017)Editorial., , und . High. Order Symb. Comput., 21 (1-2): 1-3 (2008)Faire levier sur les architectures logicielles pour guider et vérifier le développement d'applications SCC, , , und . CoRR, (2011)Editorial.. J. Funct. Program., 18 (5-6): 565-566 (2008)