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

BAD: bandwidth adaptive dissemination or (the case for BAD trees)., and . Middleware (Demos and Posters), page 25. ACM, (2007)I4: incremental inference of inductive invariants for verification of distributed protocols., , , , , and . SOSP, page 370-384. ACM, (2019)Armada: low-effort verification of high-performance concurrent programs., , , , , , , and . PLDI, page 197-210. ACM, (2020)Towards Automatic Inference of Inductive Invariants., , , , , and . HotOS, page 30-36. ACM, (2019)Upright cluster services., , , , , , and . SOSP, page 277-290. ACM, (2009)Aegean: replication beyond the client-server model., and . SOSP, page 385-398. ACM, (2019)Brief Announcement: On the Significance of Consecutive Ballots in Paxos., , and . PODC, page 172-174. ACM, (2020)Vale: Verifying High-Performance Cryptographic Assembly Code., , , , , , , , and . USENIX Security Symposium, page 917-934. USENIX Association, (2017)Scalable Agreement: Toward Ordering as a Service., and . HotDep, USENIX Association, (2010)Robustness in the Salus Scalable Block Store., , , , , , and . NSDI, page 357-370. USENIX Association, (2013)