Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code (Awarded Best Paper).

Charles Killian, James W. Anderson, Ranjit Jhala, Amin Vahdat

Browse the full NSDI paper archive.