@inproceedings {288556,
	author = {Tamer Eldeeb and Xincheng Xie and Philip A. Bernstein and Asaf Cidon and Junfeng Yang},
	title = {Chardonnay: Fast and General Datacenter Transactions for {On-Disk} Databases},
	booktitle = {17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23)},
	year = {2023},
	isbn = {978-1-939133-34-2},
	address = {Boston, MA},
	pages = {343--360},
	url = {https://www.usenix.org/conference/osdi23/presentation/eldeeb},
	publisher = {USENIX Association},
	month = jul
}
@inproceedings {280936,
	author = {Yaniv David and Xudong Sun and Raphael J. Sofaer and Aditya Senthilnathan and Junfeng Yang and Zhiqiang Zuo and Guoqing Harry Xu and Jason Nieh and Ronghui Gu},
	title = {{UPGRADVISOR}: Early Adopting Dependency Updates Using Hybrid Program Analysis and Hardware Tracing},
	booktitle = {16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22)},
	year = {2022},
	isbn = {978-1-939133-28-1},
	address = {Carlsbad, CA},
	pages = {751--767},
	url = {https://www.usenix.org/conference/osdi22/presentation/david},
	publisher = {USENIX Association},
	month = jul
}
@inproceedings {280870,
	author = {Yuhong Zhong and Haoyu Li and Yu Jian Wu and Ioannis Zarkadas and Jeffrey Tao and Evan Mesterhazy and Michael Makris and Junfeng Yang and Amy Tai and Ryan Stutsman and Asaf Cidon},
	title = {{XRP}: {In-Kernel} Storage Functions with {eBPF}},
	booktitle = {16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22)},
	year = {2022},
	isbn = {978-1-939133-28-1},
	address = {Carlsbad, CA},
	pages = {375--393},
	url = {https://www.usenix.org/conference/osdi22/presentation/zhong},
	publisher = {USENIX Association},
	month = jul
}
@inproceedings {273775,
	author = {Lingmei Weng and Peng Huang and Jason Nieh and Junfeng Yang},
	title = {Argus: Debugging Performance Issues in Modern Desktop Applications with Annotated Causal Tracing},
	booktitle = {2021 USENIX Annual Technical Conference (USENIX ATC 21)},
	year = {2021},
	isbn = {978-1-939133-23-6},
	pages = {193--207},
	url = {https://www.usenix.org/conference/atc21/presentation/weng},
	publisher = {USENIX Association},
	month = jul
}
@inproceedings {217595,
	author = {Shiqi Wang and Kexin Pei and Justin Whitehouse and Junfeng Yang and Suman Jana},
	title = {Formal Security Analysis of Neural Networks using Symbolic Intervals},
	booktitle = {27th USENIX Security Symposium (USENIX Security 18)},
	year = {2018},
	isbn = {978-1-939133-04-5},
	address = {Baltimore, MD},
	pages = {1599--1614},
	url = {https://www.usenix.org/conference/usenixsecurity18/presentation/wang-shiqi},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {199297,
	author = {David Williams-King and Graham Gobieski and Kent Williams-King and James P. Blake and Xinhao Yuan and Patrick Colp and Michelle Zheng and Vasileios P. Kemerlis and Junfeng Yang and William Aiello},
	title = {Shuffler: Fast and Deployable Continuous Code {Re-Randomization}},
	booktitle = {12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16)},
	year = {2016},
	isbn = {978-1-931971-33-1},
	address = {Savannah, GA},
	pages = {367--382},
	url = {https://www.usenix.org/conference/osdi16/technical-sessions/presentation/williams-king},
	publisher = {USENIX Association},
	month = nov
}
@inproceedings {190494,
	author = {Yang Tang and Junfeng Yang},
	title = {Secure Deduplication of General Computations},
	booktitle = {2015 USENIX Annual Technical Conference (USENIX ATC 15)},
	year = {2015},
	isbn = {978-1-931971-225},
	address = {Santa Clara, CA},
	pages = {319--331},
	url = {https://www.usenix.org/conference/atc15/technical-session/presentation/tang},
	publisher = {USENIX Association},
	month = jul
}
@inproceedings {179433,
	author = {Junfeng Yang and Heming Cui and Jingyue Wu},
	title = {Determinism Is Overrated: What Really Makes Multithreaded Programs Hard to Get Right and What Can Be Done About It},
	booktitle = {5th USENIX Workshop on Hot Topics in Parallelism (HotPar 13)},
	year = {2013},
	address = {San Jose, CA},
	url = {https://www.usenix.org/conference/hotpar13/workshop-program/presentation/yang},
	publisher = {USENIX Association},
	month = jun
}
@inproceedings {181273,
	author = {Junfeng Yang and Ang Cui and Sal Stolfo and Simha Sethumadhavan},
	title = {Concurrency Attacks},
	booktitle = {4th USENIX Workshop on Hot Topics in Parallelism (HotPar 12)},
	year = {2012},
	address = {Berkeley, CA},
	url = {https://www.usenix.org/conference/hotpar12/workshop-program/presentation/yang},
	publisher = {USENIX Association},
	month = jun
}
@inproceedings {266716,
	author = {Yinglian Xie and Rina Panigrahy and Junfeng Yang and Chad Verbowski and Arunvijay Kumar},
	title = {Context-based Online {Configuration-Error} Detection},
	booktitle = {2011 USENIX Annual Technical Conference (USENIX ATC 11)},
	year = {2011},
	address = {Portland, OR},
	url = {https://www.usenix.org/conference/usenixatc11/context-based-online-configuration-error-detection},
	publisher = {USENIX Association},
	month = jun
}
@inproceedings {266897,
	author = {Qifa Ke and Vijayan Prabhakaran and Yinglian Xie and Yuan Yu and Jingyue Wu and Junfeng Yang},
	title = {Optimizing Data Partitioning for {Data-Parallel} Computing},
	booktitle = {13th Workshop on Hot Topics in Operating Systems (HotOS XIII)},
	year = {2011},
	address = {Napa, CA},
	url = {https://www.usenix.org/conference/hotosxiii/optimizing-data-partitioning-data-parallel-computing},
	publisher = {USENIX Association},
	month = may
}
@inproceedings {267141,
	author = {Jingyue Wu and Heming Cui and Junfeng Yang},
	title = {Bypassing Races in Live Applications with Execution Filters},
	booktitle = {9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10)},
	year = {2010},
	address = {Vancouver, BC},
	url = {https://www.usenix.org/conference/osdi10/bypassing-races-live-applications-execution-filters},
	publisher = {USENIX Association},
	month = oct
}
@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 {268817,
	author = {Junfeng Yang and Can Sar and Dawson Engler},
	title = {{EXPLODE}: A Lightweight, General System for Finding Serious Storage System Errors},
	booktitle = {7th USENIX Symposium on Operating Systems Design and Implementation (OSDI 06)},
	year = {2006},
	address = {Seattle, WA},
	url = {https://www.usenix.org/conference/osdi-06/explode-lightweight-general-system-finding-serious-storage-system-errors},
	publisher = {USENIX Association},
	month = nov
}
@inproceedings {269480,
	author = {Junfeng Yang and Paul Twohey and Dawson Engler and Madanlal Musuvathi},
	title = {Using Model Checking to Find Serious File System Errors},
	booktitle = {6th Symposium on Operating Systems Design \& Implementation (OSDI 04)},
	year = {2004},
	address = {San Francisco, CA},
	url = {https://www.usenix.org/conference/osdi-04/using-model-checking-find-serious-file-system-errors},
	publisher = {USENIX Association},
	month = dec
}
