Validating SMT Solvers for Correctness and Performance via Grammar-based Enumeration. Dominik Winterer, Zhendong Su. In external page Proceedings of SPLASH/OOPSLA, Pasadena, CA, USA, October 20-25, 2024. (conditionally accepted)

SMT2Test: From SMT Formulas to Effective Test Cases. Chengyu Zhang, Zhendong Su. In external page Proceedings of SPLASH/OOPSLA, Pasadena, CA, USA, October 20-25, 2024. (conditionally accepted)

When Your Infrastructure is a Buggy Program: Understanding Faults in Infrastructure as Code Ecosystems. Georgios-Petros Drosos, Thodoris Sotiropoulos, Georgios Alexopoulos, Dimitris Mitropoulos, Zhendong Su. In external page Proceedings of SPLASH/OOPSLA, Pasadena, CA, USA, October 20-25, 2024. (conditionally accepted)

Understanding and Finding Java Decompiler Bugs. Yifei Lu, Weidong Hou, Minxue Pan, Xuandong Li, Zhendong Su. In external page Proceedings of SPLASH/OOPSLA, Pasadena, CA, USA, October 20-25, 2024. [external page PDF]

The Hidden Program State Hurts Everyone. Sverrir Thorgeirsson, Oliver Graf, Zhendong Su. In external page Proceedings of SPLASH/Onward! Essays, Pasadena, CA, USA, October 20-25, 2024.

HyperTheft: Thieving Model Weights from TEE-Shielded Neural Networks via Ciphertext Side Channels. Yuanyuan Yuan, Zhibo Liu, Sen Deng, Yanzuo Chen, Shuai Wang, Yinqian Zhang, Zhendong Su. In external page Proceedings of CCS 2024, Salt Lake City, Utah, USA, October 14-18, 2024.

See the Forest, not Trees: Unveiling and Escaping the Pitfalls of Error-Triggering Inputs in Neural Network Testing. Yuanyuan Yuan, Shuai Wang, Zhendong Su. In external page Proceedings of ISSTA 2024, Vienna, Austria, September 16-20, 2024.

An Electroencephalography Study on Cognitive Load in Visual and Textual Programming. Sverrir Thorgeirsson, Chengyu Zhang, Theo Weidmann, Karl-Heinz Weidmann, Zhendong Su. In external page Proceedings of ICER, Melbourne, Australia, August 13-15, 2024.

Validating the eBPF Verifier via State Embedding. Hao Sun, Zhendong Su. In external page Proceedings of OSDI, Santa Clara, CA, USA, July 10-12, 2024.

Detecting Logic Bugs in Database Engines via Equivalent Expression Transformation. Zu-Ming Jiang, Zhendong Su. In external page Proceedings of OSDI, Santa Clara, CA, USA, July 10-12, 2024.

Assessing Live Programming for Program Comprehension in Undergraduate Education. Oliver Graf, Sverrir Thorgeirsson and Zhendong Su. In external page Proceedings of ITiCSE, Milan, Italy, July 8-10, 2024.

Boosting Compiler Testing by Injecting Real-world Code. Shaohua Li, Theodoros Theodoridis, Zhendong Su. In external page Proceedings of PLDI 2024, Copenhagen, Denmark, June 24-28, 2024. . [external page PDF] [external page Code]
🏆 Distinguished Artifact Award

Refined Input, Degraded Output: The Counterintuitive World of Compiler Behavior. Theodoros Theodoridis, Zhendong Su. In external page Proceedings of PLDI 2024, Copenhagen, Denmark, June 24-28, 2024. [external page PDF] [external page Code]

UBfuzz: Finding Bugs in Sanitizer Implementations. Shaohua Li, Zhendong Su. In external page Proceedings of ASPLOS, San Diego, CA, USA, April 27-May 1, 2024. [external page PDF] [external page Code] 
🏆 Distinguished Artifact Award

Comparing Cognitive Load Among Undergraduate Students Programming in Python and the Visual Language Algot. Sverrir Thorgeirsson, Theo Weidmann, Karl-Heinz Weidmann, and Zhendong Su. In external page Proceedings of SIGCSE, Portland, OR, USA, March 20-23, 2024. [external page PDF]

Recursion in Secondary Computer Science Education: A Comparative Study of Visual Programming Approaches. Sverrir Thorgeirsson, Lennart Lais, Theo Weidmann, and Zhendong Su. In external page Proceedings of SIGCSE, Portland, OR, USA, March 20-23, 2024. [external page PDF]

API-driven Program Synthesis for Testing Static Typing Implementations. Thodoris Sotiropoulos, Stefanos Chaliasos, and Zhendong Su. In external page Proceedings of POPL, London, UK, January 17-19, 2024. [external page PDF] [external page Code]

Automata-based Trace Analysis for Aiding Diagnosing GUI Testing Tools for Android. Enze Ma, Shan Huang, Weigang He, Ting Su, Jue Wang, Huiyu Liu, Geguang Pu, Zhendong Su. In external page Proceedings of ESEC/FSE 2023, San Francisco, CA, USA, December 3-9, 2023. [external page PDF] [external page Code]

Property-based Fuzzing for Finding Data Manipulation Errors in Android Apps. Jingling Sun, Ting Su, Jiayi Jiang, Jue Wang, Geguang Pu, Zhendong Su. In external page Proceedings of ESEC/FSE 2023, December 3-9, 2023. [external page PDF] [external page Code]

Accelerating Fuzzing through Prefix-guided Execution. Shaohua Li, Zhendong Su.  In Proceedings of SPLASH/OOPSLA, October 22-27, 2023. [external page ACM Digital Library] [external page PDF] [external page Code]
🏆 Distinguished Paper Award

Validating JIT Compilers via Compilation Space Exploration. Cong Li, Yanyan Jiang, Chang Xu, Zhendong Su. In Proceedings of SOSP, Koblenz, Germany, October 23-26, 2023. [external page ACM Digital Library]
🏆 Best Paper Award

Precise and Generalized Robustness Certification for Neural Networks. Yuanyuan Yuan, Shuai Wang, Zhendong Su. In Proceedings of USENIX Security 2023, August 9-11, 2023. [external page arXiv] [external page USENIX]

DynSQL: Stateful Fuzzing for Database Management Systems with Complex and Valid SQL Query Generation. Zu-Ming Jiang, Jia-Ju Bai, Zhendong Su. In Proceedings of USENIX Security 2023, August 9-11, 2023.  [external page USENIX]

An Empirical Study of Functional Bugs in Android Apps. Yiheng Xiong, Mengqian Xu, Ting Su, Jingling Sun, Jue Wang, He Wen, Geguang Pu, Jifeng He, Zhendong Su. In Proceedings of ISSTA 2023, July 17-21, 2023. [external page ACM Digital Library]  
🏆 Distinguished Paper Award