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

Performance of Consistent Checkpointing in a Modular Operating System: Results of the FTM Experiment., , and . EDCC, volume 852 of Lecture Notes in Computer Science, page 491-508. Springer, (1994)Design Decisions for the FTM : A General Purpose Fault Tolerant Machine., , , and . FTCS, page 71-78. IEEE Computer Society, (1991)WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding process., , , , , and . Softw. Pract. Exp., 43 (1): 67-92 (2013)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)SPINFER: Inferring Semantic Patches for the Linux Kernel., , , , , , and . USENIX Annual Technical Conference, page 235-248. USENIX Association, (2020)Dealing with Hardware in Embedded Software: A General Framework Based on the Devil Language., and . OM@PLDI, page 121-127. ACM, (2001)Automatic Verification of Bossa Scheduler Properties., , , and . AVoCS, volume 185 of Electronic Notes in Theoretical Computer Science, page 17-32. Elsevier, (2006)Harissa: A Flexible and Efficient Java Environment Mixing Bytecode and Compiled Code., , , and . COOTS, page 1-20. USENIX, (1997)Matching micro-kernels to modern applications using fine-grained memory protection., and . SPDP, page 272-279. IEEE, (1995)Automated Deprecated-API Usage Update for Android Apps: How Far are We?, , , , , , and . SANER, page 602-611. IEEE, (2020)