Jump to Content

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

James W. Anderson
Ranjit Jhala
Amin Vahdat
NSDI (2007)

Abstract

Research Areas