Live Debugging of Distributed Systems
Abstract elided by the publisher.
Related papers
- GoTcha: an interactive debugger for GoT-based distributed systems Onward! 2019
- Usable live programming Onward! 2013
- A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms POPL 2017
- Programming with Live Distributed Objects ECOOP 2008
- Liveness of Randomised Parameterised Systems under Arbitrary Schedulers CAV 2016
- Virtual Images: Interactive Visualization of Distributed Object-Oriented Systems OOPSLA 1994
- Scalable concurrency debugging with distributed graph processing CGO 2018
- Mace: language support for building distributed systems PLDI 2007