22 citations · 38 across the 5 of their papers we have counts for
1 paper · 2 filters
Doug Woos, Zachary Tatlock, Michael D. Ernst +1
Designing and debugging distributed systems is notoriously difficult. The correctness of a distributed system is largely determined by its handling of failure scenarios. The sequen…