Author of the publication

BtrPlace: A Flexible Consolidation Manager for Highly Available Applications.

, , and . IEEE Trans. Dependable Secur. Comput., 10 (5): 273-286 (2013)

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

Design Decisions for the FTM : A General Purpose Fault Tolerant Machine., , , and . FTCS, page 71-78. IEEE Computer Society, (1991)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)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)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)The Performance of Consistent Checkpointing in Distributed Shared Memory Systems., , and . SRDS, page 96-105. IEEE Computer Society, (1995)