Author of the publication

OSIRIS: Efficient and Consistent Recovery of Compartmentalized Operating Systems.

, , , , , , , and . DSN, page 25-36. IEEE Computer Society, (2016)

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

ProbeGuard: Mitigating Probing Attacks Through Reactive Program Transformations., , , and . ASPLOS, page 545-558. ACM, (2019)Fine Grained Dataflow Tracking with Proximal Gradients., , , , and . CoRR, (2019)VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models (Technical Report)., , , , , , , , , and 1 other author(s). CoRR, (2021)VSync: push-button verification and optimization for synchronization primitives on weak memory models., , , , , , , , , and 1 other author(s). ASPLOS, page 530-545. ACM, (2021)FIRestarter: Practical Software Crash Recovery with Targeted Library-level Fault Injection., , , and . DSN, page 363-375. IEEE, (2021)OSIRIS: Efficient and Consistent Recovery of Compartmentalized Operating Systems., , , , , , , and . DSN, page 25-36. IEEE Computer Society, (2016)Fine Grained Dataflow Tracking with Proximal Gradients., , , , and . USENIX Security Symposium, page 1611-1628. USENIX Association, (2021)AtoMig: Automatically Migrating Millions Lines of Code from TSO to WMM., , , , , , , , and . ASPLOS (2), page 61-73. ACM, (2023)Practical Byte-Granular Memory Blacklisting using Califorms., , , , , and . MICRO, page 558-571. ACM, (2019)