Author of the publication

Continuously measuring critical section pressure with the free-lunch profiler.

, , , and . OOPSLA, page 291-307. ACM, (2014)

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)Automatic Verification of Bossa Scheduler Properties., , , and . AVoCS, volume 185 of Electronic Notes in Theoretical Computer Science, page 17-32. Elsevier, (2006)WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding process., , , , , and . Softw. Pract. Exp., 43 (1): 67-92 (2013)Mitigating vulnerability windows with hypervisor transplant., , , , and . EuroSys, page 162-177. ACM, (2021)OS scheduling with nest: keeping tasks close together on warm cores., , , , , and . EuroSys, page 368-383. ACM, (2022)Dealing with Hardware in Embedded Software: A General Framework Based on the Devil Language., and . OM@PLDI, page 121-127. ACM, (2001)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)Efficient Treatment of Failures in RPC Systems., , and . SRDS, page 170-180. IEEE Computer Society, (1994)