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]