@inproceedings {180239,
	author = {Weidong Cui and Marcus Peinado and Zhilei Xu and Ellick Chan},
	title = {Tracking Rootkit Footprints with a Practical Memory Analysis System},
	booktitle = {21st USENIX Security Symposium (USENIX Security 12)},
	year = {2012},
	isbn = {978-931971-95-9},
	address = {Bellevue, WA},
	pages = {601--615},
	url = {https://www.usenix.org/conference/usenixsecurity12/technical-sessions/presentation/cui},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {267763,
	author = {Junfeng Yang and Tisheng Chen and Ming Wu and Zhilei Xu and Xuezheng Liu and Haoxiang Lin and Mao Yang and Fan Long and Lintao Zhang and Lidong Zhou},
	title = {{MODIST}: Transparent Model Checking of Unmodified Distributed Systems},
	booktitle = {6th USENIX Symposium on Networked Systems Design and Implementation (NSDI 09)},
	year = {2009},
	address = {Boston, MA },
	url = {https://www.usenix.org/conference/nsdi-09/modist-transparent-model-checking-unmodified-distributed-systems},
	publisher = {USENIX Association},
	month = apr
}
@inproceedings {267931,
	author = {Zhenyu Guo and Xi Wang and Jian Tang and Xuezheng Liu and Zhilei Xu and M. Frans Kaashoek},
	title = {R2: An {Application-Level} Kernel for Record and Replay},
	booktitle = {8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 08)},
	year = {2008},
	address = {San Diego, CA},
	url = {https://www.usenix.org/conference/osdi-08/r2-application-level-kernel-record-and-replay},
	publisher = {USENIX Association},
	month = dec
}
