@inproceedings {288568,
	author = {Zu-Ming Jiang and Si Liu and Manuel Rigger and Zhendong Su},
	title = {Detecting Transactional Bugs in Database Engines via {Graph-Based} Oracle Construction},
	booktitle = {17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23)},
	year = {2023},
	isbn = {978-1-939133-34-2},
	address = {Boston, MA},
	pages = {397--417},
	url = {https://www.usenix.org/conference/osdi23/presentation/jiang},
	publisher = {USENIX Association},
	month = jul
}
@inproceedings {285385,
	author = {Zu-Ming Jiang and Jia-Ju Bai and Zhendong Su},
	title = {{DynSQL}: Stateful Fuzzing for Database Management Systems with Complex and Valid {SQL} Query Generation},
	booktitle = {32nd USENIX Security Symposium (USENIX Security 23)},
	year = {2023},
	isbn = {978-1-939133-37-3},
	address = {Anaheim, CA},
	pages = {4949--4965},
	url = {https://www.usenix.org/conference/usenixsecurity23/presentation/jiang-zu-ming},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {291207,
	author = {Yuanyuan Yuan and Shuai Wang and Zhendong Su},
	title = {Precise and Generalized Robustness Certification for Neural Networks},
	booktitle = {32nd USENIX Security Symposium (USENIX Security 23)},
	year = {2023},
	isbn = {978-1-939133-37-3},
	address = {Anaheim, CA},
	pages = {4769--4786},
	url = {https://www.usenix.org/conference/usenixsecurity23/presentation/yuan-yuanyuan-certification},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {273757,
	author = {Jiang Zhang and Shuai Wang and Manuel Rigger and Pinjia He and Zhendong Su},
	title = {{SANRAZOR}: Reducing Redundant Sanitizer Checks in {C/C++} Programs},
	booktitle = {15th USENIX Symposium on Operating Systems Design and Implementation (OSDI 21)},
	year = {2021},
	isbn = {978-1-939133-22-9},
	pages = {479--494},
	url = {https://www.usenix.org/conference/osdi21/presentation/zhang},
	publisher = {USENIX Association},
	month = jul
}
@inproceedings {258888,
	author = {Manuel Rigger and Zhendong Su},
	title = {Testing Database Engines via Pivoted Query Synthesis},
	booktitle = {14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)},
	year = {2020},
	isbn = {978-1-939133-19-9},
	pages = {667--682},
	url = {https://www.usenix.org/conference/osdi20/presentation/rigger},
	publisher = {USENIX Association},
	month = nov
}
@inproceedings {190488,
	author = {Kai Wang and Guoqing Xu and Zhendong Su and Yu David Liu},
	title = {{GraphQ}: Graph Query Processing with Abstraction {Refinement{\textemdash}Scalable} and Programmable Analytics over Very Large Graphs on a Single {PC}},
	booktitle = {2015 USENIX Annual Technical Conference (USENIX ATC 15)},
	year = {2015},
	isbn = {978-1-931971-225},
	address = {Santa Clara, CA},
	pages = {387--401},
	url = {https://www.usenix.org/conference/atc15/technical-session/presentation/wang-kai},
	publisher = {USENIX Association},
	month = jul
}
@inproceedings {184513,
	author = {Fei Peng and Zhui Deng and Xiangyu Zhang and Dongyan Xu and Zhiqiang Lin and Zhendong Su},
	title = {{X-Force}: {Force-Executing} Binary Programs for Security Applications},
	booktitle = {23rd USENIX Security Symposium (USENIX Security 14)},
	year = {2014},
	isbn = {978-1-931971-15-7},
	address = {San Diego, CA},
	pages = {829--844},
	url = {https://www.usenix.org/conference/usenixsecurity14/technical-sessions/presentation/peng},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {266528,
	author = {Fangqi Sun and Liang Xu and Zhendong Su},
	title = {Static Detection of Access Control Vulnerabilities in Web Applications},
	booktitle = {20th USENIX Security Symposium (USENIX Security 11)},
	year = {2011},
	address = {San Francisco, CA},
	url = {https://www.usenix.org/conference/usenix-security-11/static-detection-access-control-vulnerabilities-web-applications},
	publisher = {USENIX Association},
	month = aug
}
