Biblio

Export 4 results:
Filters: Author is Dawson R. Engler  [Clear All Filters]
2004
Musuvathi M, Engler DR.  2004.  Model Checking Large Network Protocol Implementations. First Symposium on Networked Systems Design and Implementation (NSDI 04).
2002
Musuvathi M, Park DYW, Chou A, Engler DR, Dill DL.  2002.  CMC: A Pragmatic Approach to Model Checking Real Code. 5th Symposium on Operating Systems Design and Implementation (OSDI 02).
2000
Chelf B, Chou A, Hallem S, Engler DR.  2000.  Systems as Languages. Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000).
1997
Engler DR.  1997.  Incorporating Application Semantics and Control into Compilation. Conference on Domain-Specific Languages (DSL 97).