@inproceedings {266892,
	author = {Oren Laadan and Chia-che Tsai and Nicolas Viennot and Chris Blinn and Peter Senyao Du and Jason Nieh},
	title = {Finding Concurrency Errors in Sequential {Code{\textemdash}OS-level}, In-vivo Model Checking of Process Races},
	booktitle = {13th Workshop on Hot Topics in Operating Systems (HotOS XIII)},
	year = {2011},
	address = {Napa, CA},
	url = {https://www.usenix.org/conference/hotosxiii/finding-concurrency-errors-sequential-code{\textemdash}os-level-vivo-model-checking-process},
	publisher = {USENIX Association},
	month = may
}
@inproceedings {268563,
	author = {Oren Laadan and Jason Nieh},
	title = {Transparent {Checkpoint-Restart} of Multiple Processes on Commodity Operating Systems },
	booktitle = {2007 USENIX Annual Technical Conference (USENIX ATC 07)},
	year = {2007},
	address = {Santa Clara, CA},
	url = {https://www.usenix.org/conference/2007-usenix-annual-technical-conference/transparent-checkpoint-restart-multiple-processes},
	publisher = {USENIX Association},
	month = jun
}
