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

Charles Edwin Killian, James W. Anderson, Ranjit Jhala, Amin Vahdat. Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code (Awarded Best Paper). In 4th Symposium on Networked Systems Design and Implementation (NSDI 2007), April 11-13, 2007, Cambridge, Massachusetts, USA, Proceedings. USENIX, 2007. [doi]

Abstract

Abstract is missing.