@inproceedings {246368,
	author = {Kaiyuan Zhang and Danyang Zhuo and Aditya Akella and Arvind Krishnamurthy and Xi Wang},
	title = {Automated Verification of Customizable Middlebox Properties with Gravel },
	booktitle = {17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20)},
	year = {2020},
	isbn = {978-1-939133-13-7},
	address = {Santa Clara, CA},
	pages = {221--239},
	url = {https://www.usenix.org/conference/nsdi20/presentation/zhang-kaiyuan},
	publisher = {USENIX Association},
	month = feb
}
@inproceedings {258848,
	author = {Luke Nelson and Jacob Van Geffen and Emina Torlak and Xi Wang},
	title = {Specification and verification in the field: Applying formal methods to {BPF} just-in-time compilers in the Linux kernel},
	booktitle = {14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)},
	year = {2020},
	isbn = {978-1-939133-19-9},
	pages = {41--61},
	url = {https://www.usenix.org/conference/osdi20/presentation/nelson},
	publisher = {USENIX Association},
	month = nov
}
@inproceedings {258872,
	author = {Shaohong Li and Xi Wang and Xiao Zhang and Vasileios Kontorinis and Sreekumar Kodakara and David Lo and Parthasarathy Ranganathan},
	title = {Thunderbolt: {Throughput-Optimized}, {Quality-of-Service-Aware} Power Capping at Scale},
	booktitle = {14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)},
	year = {2020},
	isbn = {ISBN 978-1-939133-19-9},
	pages = {1241--1255},
	url = {https://www.usenix.org/conference/osdi20/presentation/li-shaohong},
	publisher = {USENIX Association},
	month = nov
}
@inproceedings {222549,
	author = {Helgi Sigurbjarnarson and Luke Nelson and Bruno Castro-Karney and James Bornholt and Emina Torlak and Xi Wang},
	title = {Nickel: A Framework for Design and Verification of Information Flow Control Systems},
	booktitle = {13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18)},
	year = {2018},
	isbn = {978-1-939133-08-3},
	address = {Carlsbad, CA},
	pages = {287--305},
	url = {http://www.usenix.org/conference/osdi18/presentation/sigurbjarnarson},
	publisher = {USENIX Association},
	month = oct
}
@inproceedings {203342,
	author = {Eddie Yan and Kaiyuan Zhang and Xi Wang and Karin Strauss and Luis Ceze},
	title = {Customizing Progressive {JPEG} for Efficient Image Storage},
	booktitle = {9th USENIX Workshop on Hot Topics in Storage and File Systems (HotStorage 17)},
	year = {2017},
	address = {Santa Clara, CA},
	url = {https://www.usenix.org/conference/hotstorage17/program/presentation/yan},
	publisher = {USENIX Association},
	month = jul
}
@inproceedings {199293,
	author = {Helgi Sigurbjarnarson and James Bornholt and Emina Torlak and Xi Wang},
	title = {{Push-Button} Verification of File Systems via Crash Refinement},
	booktitle = {12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16)},
	year = {2016},
	isbn = {978-1-931971-33-1},
	address = {Savannah, GA},
	pages = {1--16},
	url = {https://www.usenix.org/conference/osdi16/technical-sessions/presentation/sigurbjarnarson},
	publisher = {USENIX Association},
	month = nov
}
@inproceedings {186210,
	author = {Haogang Chen and Taesoo Kim and Xi Wang and Nickolai Zeldovich and M. Frans Kaashoek},
	title = {Identifying Information Disclosure in Web Applications with Retroactive Auditing},
	booktitle = {11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14)},
	year = {2014},
	isbn = { 978-1-931971-16-4},
	address = {Broomfield, CO},
	pages = {555--569},
	url = {https://www.usenix.org/conference/osdi14/technical-sessions/presentation/chen_haogang},
	publisher = {USENIX Association},
	month = oct
}
@inproceedings {186144,
	author = {Xi Wang and David Lazar and Nickolai Zeldovich and Adam Chlipala and Zachary Tatlock},
	title = {Jitk: A Trustworthy {In-Kernel} Interpreter Infrastructure},
	booktitle = {11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14)},
	year = {2014},
	isbn = { 978-1-931971-16-4},
	address = {Broomfield, CO},
	pages = {33--47},
	url = {https://www.usenix.org/conference/osdi14/technical-sessions/presentation/wang_xi},
	publisher = {USENIX Association},
	month = oct
}
@inproceedings {180262,
	author = {Xi Wang and Haogang Chen and Zhihao Jia and Nickolai Zeldovich and M. Frans Kaashoek},
	title = {Improving Integer Security for Systems with {KINT}},
	booktitle = {10th USENIX Symposium on Operating Systems Design and Implementation (OSDI 12)},
	year = {2012},
	isbn = {978-1-931971-96-6},
	address = {Hollywood, CA},
	pages = {163--177},
	url = {https://www.usenix.org/conference/osdi12/technical-sessions/presentation/wang},
	publisher = {USENIX Association},
	month = oct
}
@inproceedings {249095,
	author = {Taesoo Kim and Xi Wang and Nickolai Zeldovich and M. Frans Kaashoek},
	title = {Intrusion Recovery Using Selective Re-execution},
	booktitle = {9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10)},
	year = {2010},
	address = {Vancouver, BC},
	url = {https://www.usenix.org/conference/osdi10/intrusion-recovery-using-selective-re-execution},
	publisher = {USENIX Association},
	month = oct
}
@inproceedings {268258,
	author = {Xuezheng Liu and Zhenyu Guo and Xi Wang and Feibo Chen and Xiaochen Lian and Jian Tang and Ming Wu and Zheng Zhang},
	title = {{D3S}: Debugging Deployed Distributed Systems},
	booktitle = {5th USENIX Symposium on Networked Systems Design and Implementation (NSDI 08)},
	year = {2008},
	address = {San Francisco, CA},
	url = {https://www.usenix.org/conference/nsdi-08/d3s-debugging-deployed-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
}
@inproceedings {267990,
	author = {HaoHui Mai and Chongnan Gao and Xuezheng Liu and Xi Wang and Geoffrey M. Voelker},
	title = {Towards Automatic Inference of Task Hierarchies in Complex Systems},
	booktitle = {Fourth Workshop on Hot Topics in System Dependability (HotDep 08)},
	year = {2008},
	address = {San Diego, CA},
	url = {https://www.usenix.org/conference/hotdep-08/towards-automatic-inference-task-hierarchies-complex-systems},
	publisher = {USENIX Association},
	month = dec
}
