@inproceedings {270034,
	author = {Madanlal Musuvathi and Dawson R. Engler},
	title = {Model Checking Large Network Protocol Implementations},
	booktitle = {First Symposium on Networked Systems Design and Implementation (NSDI 04)},
	year = {2004},
	address = {San Francisco, CA},
	url = {https://www.usenix.org/conference/nsdi-04/model-checking-large-network-protocol-implementations},
	publisher = {USENIX Association},
	month = mar
}
@inproceedings {270449,
	author = {Madanlal Musuvathi and David Y.W. Park and Andy Chou and Dawson R. Engler and David L. Dill},
	title = {{CMC}: A Pragmatic Approach to Model Checking Real Code},
	booktitle = {5th Symposium on Operating Systems Design and Implementation (OSDI 02)},
	year = {2002},
	address = {Boston, MA},
	url = {https://www.usenix.org/conference/osdi-02/cmc-pragmatic-approach-model-checking-real-code},
	publisher = {USENIX Association},
	month = dec
}
@inproceedings {271175,
	author = {Benjamin Chelf and Andy Chou and Seth Hallem and Dawson R. Engler},
	title = {Systems as Languages},
	booktitle = {Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000)},
	year = {2000},
	address = {San Diego, CA },
	url = {https://www.usenix.org/conference/osdi-2000/systems-languages},
	publisher = {USENIX Association},
	month = oct
}
@inproceedings {260986,
	author = {Dawson R. Engler},
	title = {Incorporating Application Semantics and Control into Compilation},
	booktitle = {Conference on Domain-Specific Languages (DSL 97)},
	year = {1997},
	address = {Santa Barbara, CA },
	url = {https://www.usenix.org/conference/dsl-97/incorporating-application-semantics-and-control-compilation},
	publisher = {USENIX Association},
	month = oct
}
