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)Upright cluster services., , , , , , and . SOSP, page 277-290. ACM, (2009)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)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)Formally verified asymptotic consensus in robust networks., , , , and . TACAS (1), volume 14570 of Lecture Notes in Computer Science, page 248-267. Springer, (2024)IronSpec: Increasing the Reliability of Formal Specifications., , , and . OSDI, page 875-891. USENIX Association, (2024)I4: incremental inference of inductive invariants for verification of distributed protocols., , , , , and . SOSP, page 370-384. ACM, (2019)