Finding Bugs in Sanitizer Implementations. Shaohua Li, Zhendong Su. In external pageProceedings of ASPLOScall_made, San Diego, CA, USA, April 27-May 1, 2024. [external pagePDFcall_made] [external pageCodecall_made]
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 pageProceedings of SIGCSEcall_made, Portland, OR, USA, March 20-23, 2024.
Recursion in Secondary Computer Science Education: A Comparative Study of Visual Programming Approaches. Sverrir Thorgeirsson, Lennart Lais, Theo Weidmann, and Zhendong Su. In external pageProceedings of SIGCSEcall_made, Portland, OR, USA, March 20-23, 2024.
API-driven Program Synthesis for Testing Static Typing Implementations. Thodoris Sotiropoulos, Stefanos Chaliasos, and Zhendong Su. In external pageProceedings of POPLcall_made, London, UK, January 17-19, 2024. [external pageCodecall_made]
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 pageProceedings of ESEC/FSE 2023call_made, San Francisco, CA, USA, December 3-9, 2023. [external pagePDFcall_made] [external pageCodecall_made]
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 pageProceedings of ESEC/FSE 2023call_made, December 3-9, 2023. [external pagePDFcall_made] [external pageCodecall_made]
Accelerating Fuzzing through Prefix-guided Execution. Shaohua Li, Zhendong Su. In Proceedings of SPLASH/OOPSLA, October 22-27, 2023. [external pageACM Digital Librarycall_made] [external pagePDFcall_made] [external pageCodecall_made]
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 pageACM Digital Librarycall_made]
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 pagearXivcall_made] [external pageUSENIXcall_made]
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 pageUSENIXcall_made]
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 pageACM Digital Librarycall_made]
Distinguished Paper Award
Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction. Zu-Ming Jiang, Si Liu, Manuel Rigger, Zhendong Su. In Proceedings of OSDI, July 10-12, 2023. [external pagePDFcall_made] [external pageCodecall_made]
Testing Graph Database Engines via Query Partitioning. Matteo Kamm, Manuel Rigger, Chengyu Zhang, Zhendong Su. In Proceedings of ISSTA 2023, July 17-21, 2023. [external pageACM Digital Librarycall_made]
Finding Unstable Code via Compiler-driven Differential Testing. Shaohua Li, Zhendong Su. In Proceedings of ASPLOS, March 25-29, 2023. [external pageACM Digital Librarycall_made]
Characterizing and Finding System Setting-Related Defects in Android Apps. Jingling Sun, Ting Su, Kai Liu, Chao Peng, Zhao Zhang, Geguang Pu, Tao Xie, Zhendong Su. IEEE Transactions on Software Engineering (TSE), March 2023. [external pageIEEE Xplorecall_made]
Coverage-directed Differential Testing of X.509 Certificate Validation in SSL/TLS Implementations. Pengbo Nie, Chengcheng Wan, Jiayu Zhu, Ziyi Lin, Yuting Chen, and Zhendong Su. ACM Trans. Softw. Eng. Methodol. January 2023. [external pageACM Digital Librarycall_made]