Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

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