Author of the publication

I4: incremental inference of inductive invariants for verification of distributed protocols.

, , , , , and . SOSP, page 370-384. ACM, (2019)

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

Optimal and Error-Free Multi-Valued Byzantine Consensus Through Parallel Execution., , and . IACR Cryptology ePrint Archive, (2020)Breaking Virtual Memory Protection and the SGX Ecosystem with Foreshadow., , , , , , , , , and . IEEE Micro, 39 (3): 66-74 (2019)Rethinking File Mapping for Persistent Memory., , , , , , and . FAST, page 97-111. USENIX Association, (2021)Twig: Profile-Guided BTB Prefetching for Data Center Applications., , , , , , , , , and . MICRO, page 816-829. ACM, (2021)Ripple: Profile-Guided Instruction Cache Replacement for Data Center Applications., , , , , , and . ISCA, page 734-747. IEEE, (2021)RaceMob: crowdsourced data race detection., , and . SOSP, page 406-422. ACM, (2013)PCSPOOF: Compromising the Safety of Time-Triggered Ethernet., , , and . SP, page 3193-3208. IEEE, (2023)Techniques for Detection, Root Cause Diagnosis, and Classification of In-Production Concurrency Bugs.. EPFL, Switzerland, (2015)IGOR: Accelerating Byzantine Fault Tolerance for Real-Time Systems with Eager Execution., , , and . RTAS, page 360-373. IEEE, (2021)Online Code Layout Optimizations via OCOLOS., , , , , and . IEEE Micro, 43 (4): 71-79 (July 2023)