USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 10 results:
Filters: Author is Zhendong Su [Clear All Filters]
Detecting Logic Bugs in Database Engines via Equivalent Expression Transformation. 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24). :821--835.
.
2024. Validating the eBPF Verifier via State Embedding. 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24). :615--628.
.
2024. Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :397--417.
.
2023. DynSQL: Stateful Fuzzing for Database Management Systems with Complex and Valid SQL Query Generation. 32nd USENIX Security Symposium (USENIX Security 23). :4949--4965.
.
2023. Precise and Generalized Robustness Certification for Neural Networks. 32nd USENIX Security Symposium (USENIX Security 23). :4769--4786.
.
2023. SANRAZOR: Reducing Redundant Sanitizer Checks in C/C++ Programs. 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI 21). :479--494.
.
2021. Testing Database Engines via Pivoted Query Synthesis. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :667--682.
.
2020. 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.
.
2015. X-Force: Force-Executing Binary Programs for Security Applications. 23rd USENIX Security Symposium (USENIX Security 14). :829--844.
.
2014. Static Detection of Access Control Vulnerabilities in Web Applications. 20th USENIX Security Symposium (USENIX Security 11).
.
2011.