Biblio

Export 8 results:
Filters: Author is Zhendong Su  [Clear All Filters]
2023
Jiang Z-M, Liu S, Rigger M, Su Z.  2023.  Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :397--417.
Jiang Z-M, Bai J-J, Su Z.  2023.  DynSQL: Stateful Fuzzing for Database Management Systems with Complex and Valid SQL Query Generation. 32nd USENIX Security Symposium (USENIX Security 23). :4949--4965.
Yuan Y, Wang S, Su Z.  2023.  Precise and Generalized Robustness Certification for Neural Networks. 32nd USENIX Security Symposium (USENIX Security 23). :4769--4786.
2021
Zhang J, Wang S, Rigger M, He P, Su Z.  2021.  SANRAZOR: Reducing Redundant Sanitizer Checks in C/C++ Programs. 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI 21). :479--494.
2020
Rigger M, Su Z.  2020.  Testing Database Engines via Pivoted Query Synthesis. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :667--682.
2015
Wang K, Xu G, Su Z, Liu YDavid.  2015.  GraphQ: Graph Query Processing with Abstraction Refinement—Scalable and Programmable Analytics over Very Large Graphs on a Single PC. 2015 USENIX Annual Technical Conference (USENIX ATC 15). :387--401.
2014
Peng F, Deng Z, Zhang X, Xu D, Lin Z, Su Z.  2014.  X-Force: Force-Executing Binary Programs for Security Applications. 23rd USENIX Security Symposium (USENIX Security 14). :829--844.
2011
Sun F, Xu L, Su Z.  2011.  Static Detection of Access Control Vulnerabilities in Web Applications. 20th USENIX Security Symposium (USENIX Security 11).