Author of the publication

Modularity for decidability of deductive verification with applications to distributed systems.

, , , , , , , and . PLDI, page 662-677. ACM, (2018)

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

Towards High-Performance Application-Level Storage Management., , , , , , , and . HotStorage, USENIX Association, (2014)Teaching Rigorous Distributed Systems With Efficient Model Checking., , , , and . EuroSys, page 32:1-32:15. ACM, (2019)One tunnel is (often) enough., , , , , and . SIGCOMM, page 99-110. ACM, (2014)Arrakis: The Operating System is the Control Plane., , , , , , , and . OSDI, page 1-16. USENIX Association, (2014)Planning for change in a formal verification of the raft consensus protocol., , , , , and . CPP, page 154-165. ACM, (2016)A Graphical Interactive Debugger for Distributed Systems., , , and . CoRR, (2018)Arrakis: The Operating System Is the Control Plane., , , , , , , and . ACM Trans. Comput. Syst., 33 (4): 11:1-11:30 (2016)A Step-through Debugger for Distributed Systems.. University of Washington, USA, (2019)Modularity for decidability of deductive verification with applications to distributed systems., , , , , , , and . PLDI, page 662-677. ACM, (2018)Theia: automatically generating correct program state visualizations., , , and . SPLASH-E, page 46-56. ACM, (2019)