Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code

Submitted by arnold on March 17, 2017 - 6:01 pm
TitleLife, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code
Publication TypeConference Paper
Year of Publication2007
AuthorsKillian C, Anderson JW, Jhala R, Vahdat A
Conference Name4th USENIX Symposium on Networked Systems Design & Implementation (NSDI 07)
Date Published04/2007
PublisherUSENIX Association
Conference LocationCambridge, MA
URLhttps://www.usenix.org/conference/nsdi-07/life-death-and-critical-transition-finding-liveness-bugs-systems-code