USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code
Submitted by arnold on March 17, 2017 - 6:01 pm
Title | Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code |
Publication Type | Conference Paper |
Year of Publication | 2007 |
Authors | Killian C, Anderson JW, Jhala R, Vahdat A |
Conference Name | 4th USENIX Symposium on Networked Systems Design & Implementation (NSDI 07) |
Date Published | 04/2007 |
Publisher | USENIX Association |
Conference Location | Cambridge, MA |
URL | https://www.usenix.org/conference/nsdi-07/life-death-and-critical-transition-finding-liveness-bugs-systems-code |
- DBLP
- Log in or Register to post comments
- Google Scholar
- BibTeX