USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 4 results:
Filters: Author is Dawson R. Engler [Clear All Filters]
Model Checking Large Network Protocol Implementations. First Symposium on Networked Systems Design and Implementation (NSDI 04).
.
2004. CMC: A Pragmatic Approach to Model Checking Real Code. 5th Symposium on Operating Systems Design and Implementation (OSDI 02).
.
2002. Systems as Languages. Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000).
.
2000. Incorporating Application Semantics and Control into Compilation. Conference on Domain-Specific Languages (DSL 97).
.
1997.