| 2026 | ASPLOS | Evaluating Compiler Optimization Impacts on zkVM Performance. | Thomas Gassmann, Stefanos Chaliasos, Thodoris Sotiropoulos, Zhendong Su |
| 2026 | CHI | Computer Science Achievement and Writing Skills Predict Vibe Coding Proficiency. | Sverrir Thorgeirsson, Theo B. Weidmann, Zhendong Su |
| 2026 | CHI | The Elephant in the Syntax: A Comparative Study of Semantics‑First, Block‑Based, and Textual Programming. | Theo B. Weidmann, Sverrir Thorgeirsson, Karl-Heinz Weidmann, April Yi Wang, Zhendong Su |
| 2026 | ICER | Steering AI Tutors Through System Prompts: A Crossover Study on Self-Regulated Learning and Cognitive Engagement Scaffolds in CS1. | Maximilian Georg Barth, Sverrir Thorgeirsson, Khashayar Etemadi, Juho Leinonen, Carlos Cotrini, Zhendong Su |
| 2026 | ICER | PATHOS: A Pedagogical Method for Sequencing Instruction in Multi-Foundational Machine Learning. | Diego Rivera Garrido, Sverrir Thorgeirsson, Damiano Meier, Luigi Pizza, Lahari Goswami, Jesus Solano, Carlos Cotrini, Zhendong Su |
| 2026 | SIGCSE | Transforming Confusion into Diffusion: Advancing Machine Learning Education via Bottom-Up Instruction. | Carlos Cotrini, Sverrir Thorgeirsson, Jesus Solano, Zhendong Su |
| 2026 | SIGCSE | A Code-Free, Direct-Manipulation Interface for Constructing Boolean Expressions. | Andrin Gasser, Sverrir Thorgeirsson, April Yi Wang, Zhendong Su |
| 2026 | SP | Best of Both Worlds: Effective Foreign Bridge Identification in V8 Embedders for Security Analysis. | Georgios Alexopoulos, Thodoris Sotiropoulos, Zhendong Su, Dimitris Mitropoulos |
| 2025 | CCS | Differentiation-Based Extraction of Proprietary Data from Fine-Tuned LLMs. | Zongjie Li, Daoyuan Wu, Shuai Wang, Zhendong Su |
| 2025 | ICSE | Sand: Decoupling Sanitization from Fuzzing for Low Overhead. | Ziqiao Kong, Shaohua Li, Heqing Huang, Zhendong Su |
| 2025 | ITiCSE | Map, Filter, and Conquer: A Visual Tool for Learning Higher-Order Functions. | Silvan Renggli, Sverrir Thorgeirsson, Theo B. Weidmann, Zhendong Su |
| 2025 | SIGCSE | What Can Computer Science Educators Learn From the Failures of Top-Down Pedagogy? | Sverrir Thorgeirsson, Tracy Ewen, Zhendong Su |
| 2025 | SP | CipherSteal: Stealing Input Data from TEE-Shielded Neural Networks with Ciphertext Side Channels. | Yuanyuan Yuan, Zhibo Liu, Sen Deng, Yanzuo Chen, Shuai Wang, Yinqian Zhang, Zhendong Su |
| 2025 | SOSP | Prove It to the Kernel: Precise Extension Analysis via Proof-Guided Abstraction Refinement. | Hao Sun, Zhendong Su |
| 2024 | ASPLOS | UBFuzz: Finding Bugs in Sanitizer Implementations. | Shaohua Li, Zhendong Su |
| 2024 | CCS | 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 |
| 2024 | ICER | An Electroencephalography Study on Cognitive Load in Visual and Textual Programming. | Sverrir Thorgeirsson, Chengyu Zhang, Theo B. Weidmann, Karl-Heinz Weidmann, Zhendong Su |
| 2024 | ICSE | Practical Non-Intrusive GUI Exploration Testing with Visual-based Robotic Arms. | Shengcheng Yu, Chunrong Fang, Mingzhe Du, Yuchen Ling, Zhenyu Chen, Zhendong Su |
| 2024 | ISSTA | See the Forest, not Trees: Unveiling and Escaping the Pitfalls of Error-Triggering Inputs in Neural Network Testing. | Yuanyuan Yuan, Shuai Wang, Zhendong Su |
| 2024 | ITiCSE | Assessing Live Programming for Program Comprehension. | Oliver Graf, Sverrir Thorgeirsson, Zhendong Su |
| 2024 | Onward | The Hidden Program State Hurts Everyone. | Sverrir Thorgeirsson, Oliver Graf, Zhendong Su |
| 2024 | OSDI | Detecting Logic Bugs in Database Engines via Equivalent Expression Transformation. | Zu-Ming Jiang, Zhendong Su |
| 2024 | OSDI | Validating the eBPF Verifier via State Embedding. | Hao Sun, Zhendong Su |
| 2024 | SIGCSE | Recursion in Secondary Computer Science Education: A Comparative Study of Visual Programming Approaches. | Sverrir Thorgeirsson, Lennart C. Lais, Theo B. Weidmann, Zhendong Su |
| 2024 | SIGCSE | Comparing Cognitive Load Among Undergraduate Students Programming in Python and the Visual Language Algot. | Sverrir Thorgeirsson, Theo B. Weidmann, Karl-Heinz Weidmann, Zhendong Su |
| 2023 | ASPLOS | Finding Unstable Code via Compiler-Driven Differential Testing. | Shaohua Li, Zhendong Su |
| 2023 | ISSTA | Testing Graph Database Engines via Query Partitioning. | Matteo Kamm, Manuel Rigger, Chengyu Zhang, Zhendong Su |
| 2023 | ISSTA | 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 |
| 2023 | OSDI | Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction. | Zu-Ming Jiang, Si Liu, Manuel Rigger, Zhendong Su |
| 2023 | SOSP | Validating JIT Compilers via Compilation Space Exploration. | Cong Li, Yanyan Jiang, Chang Xu, Zhendong Su |
| 2022 | ASPLOS | Understanding and exploiting optimal function inlining. | Theodoros Theodoridis, Tobias Grosser, Zhendong Su |
| 2022 | ASPLOS | Finding missed optimizations through the lens of dead code elimination. | Theodoros Theodoridis, Manuel Rigger, Zhendong Su |
| 2022 | Onward | Intramorphic Testing: A New Approach to the Test Oracle Problem. | Manuel Rigger, Zhendong Su |
| 2022 | Onward | Forest: Structural Code Editing with Multiple Cursors. | Philippe Voinov, Manuel Rigger, Zhendong Su |
| 2022 | Onward | Bridging the Syntax-Semantics Gap of Programming. | Theo B. Weidmann, Sverrir Thorgeirsson, Zhendong Su |
| 2022 | PLDI | IRDL: an IR definition language for SSA compilers. | Mathieu Fehr, Jeff Niu, River Riddle, Mehdi Amini, Zhendong Su, Tobias Grosser |
| 2021 | ICSE | Testing Machine Translation via Referential Transparency. | Pinjia He, Clara Meister, Zhendong Su |
| 2021 | ISSTA | Understanding and finding system setting-related defects in Android apps. | Jingling Sun, Ting Su, Junxin Li, Zhen Dong, Geguang Pu, Tao Xie, Zhendong Su |
| 2021 | OSDI | SANRAZOR: Reducing Redundant Sanitizer Checks in C/C++ Programs. | Jiang Zhang, Shuai Wang, Manuel Rigger, Pinjia He, Zhendong Su |
| 2020 | HPCC | ResNet Based Parallel Intelligent System Design for Marine Search and Rescue. | Zhendong Su, Darong Liu, Lin Mu |
| 2020 | ICSE | Structure-invariant testing for machine translation. | Pinjia He, Clara Meister, Zhendong Su |
| 2020 | ICSE | Symbolic verification of message passing interface programs. | Hengbiao Yu, Zhenbang Chen, Xianjin Fu, Ji Wang, Zhendong Su, Jun Sun, Chun Huang, Wei Dong |
| 2020 | OSDI | Testing Database Engines via Pivoted Query Synthesis. | Manuel Rigger, Zhendong Su |
| 2020 | PLDI | Blended, precise semantic program embeddings. | Ke Wang, Zhendong Su |
| 2020 | PLDI | Validating SMT solvers via semantic fusion. | Dominik Winterer, Chengyu Zhang, Zhendong Su |
| 2020 | SIGCSE | Student Adoption and Perceptions of a Web Integrated Development Environment: An Experience Report. | Martin Velez, Michael Yen, Mathew Le, Zhendong Su, Mohammad Amin Alipour |
| 2019 | ICSE | Deep differential testing of JVM implementations. | Yuting Chen, Ting Su, Zhendong Su |
| 2019 | ICSE | Practical GUI testing of Android applications via model abstraction and refinement. | Tianxiao Gu, Chengnian Sun, Xiaoxing Ma, Chun Cao, Chang Xu, Yuan Yao, Qirun Zhang, Jian Lu, Zhendong Su |
| 2019 | ICSE | Global optimization of numerical programs via prioritized stochastic algebraic transformations. | Xie Wang, Huaijin Wang, Zhendong Su, Enyi Tang, Xin Chen, Weijun Shen, Zhenyu Chen, Linzhang Wang, Xianpei Zhang, Xuandong Li |
| 2019 | ICSE | Exposing library API misuses via mutation analysis. | Ming Wen, Yepang Liu, Rongxin Wu, Xuan Xie, Shing-Chi Cheung, Zhendong Su |
| 2019 | ICSE | Hunting for bugs in code coverage tools via randomized differential testing. | Yibiao Yang, Yuming Zhou, Hao Sun, Zhendong Su, Zhiqiang Zuo, Lei Xu, Baowen Xu |
| 2019 | PLDI | Effective floating-point analysis via weak-distance minimization. | Zhoulai Fu, Zhendong Su |
| 2018 | ICLR | Dynamic Neural Program Embeddings for Program Repair. | Ke Wang, Rishabh Singh, Zhendong Su |
| 2018 | ICSE | Large-scale analysis of framework-specific exceptions in Android apps. | Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu, Geguang Pu, Zhendong Su |
| 2018 | ICSE | Perses: syntax-guided program reduction. | Chengnian Sun, Yuanbo Li, Qirun Zhang, Tianxiao Gu, Zhendong Su |
| 2018 | ICSE | Symbolic verification of regular properties. | Hengbiao Yu, Zhenbang Chen, Ji Wang, Zhendong Su, Wei Dong |
| 2018 | PLDI | Calling-to-reference context translation via constraint-guided CFL-reachability. | Cheng Cai, Qirun Zhang, Zhiqiang Zuo, Khanh Nguyen, Guoqing Harry Xu, Zhendong Su |
| 2018 | PLDI | Search, align, and repair: data-driven feedback generation for introductory programming exercises. | Ke Wang, Rishabh Singh, Zhendong Su |
| 2017 | ICFEM | Detecting Energy Bugs in Android Apps Using Static Analysis. | Hao Jiang, Hongli Yang, Shengchao Qin, Zhendong Su, Jian Zhang, Jun Yan |
| 2017 | ICSE | Stochastic optimization of program obfuscation. | Han Liu, Chengnian Sun, Zhendong Su, Yu Jiang, Ming Gu, Jiaguang Sun |
| 2017 | PLDI | Achieving high coverage for floating-point code via unconstrained programming. | Zhoulai Fu, Zhendong Su |
| 2017 | PLDI | Skeletal program enumeration for rigorous compiler testing. | Qirun Zhang, Chengnian Sun, Zhendong Su |
| 2017 | POPL | Context-sensitive data-dependence analysis via linear conjunctive language reachability. | Qirun Zhang, Zhendong Su |
| 2016 | CAV | XSat: A Fast Floating-Point Satisfiability Solver. | Zhoulai Fu, Zhendong Su |
| 2016 | IJCAI | Dimensionally Guided Synthesis of Mathematical Word Problems. | Ke Wang, Zhendong Su |
| 2016 | ICSE | Finding and analyzing compiler warning defects. | Chengnian Sun, Vu Le, Zhendong Su |
| 2016 | ISSTA | Toward understanding compiler bugs in GCC and LLVM. | Chengnian Sun, Vu Le, Qirun Zhang, Zhendong Su |
| 2016 | OOPSLA | Building white-box abstractions by program refinement. | Mehrdad Afshari, Zhendong Su |
| 2016 | OOPSLA | Finding compiler bugs via live code mutation. | Chengnian Sun, Vu Le, Zhendong Su |
| 2016 | PLDI | Coverage-directed differential testing of JVM implementations. | Yuting Chen, Ting Su, Chengnian Sun, Zhendong Su, Jianjun Zhao |
| 2015 | IJCAI | Automatic Generation of Raven's Progressive Matrices. | Ke Wang, Zhendong Su |
| 2015 | IJCAI | Automated Geometry Theorem Proving for Human-Readable Proofs. | Ke Wang, Zhendong Su |
| 2015 | ICSE | Combining Symbolic Execution and Model Checking for Data Flow Testing. | Ting Su, Zhoulai Fu, Geguang Pu, Jifeng He, Zhendong Su |
| 2015 | ICSE | An Empirical Study on Real Bug Fixes. | Hao Zhong, Zhendong Su |
| 2015 | ICSE | A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies. | Daming Zou, Ran Wang, Yingfei Xiong, Lu Zhang, Zhendong Su, Hong Mei |
| 2015 | ISSTA | Randomized stress-testing of link-time optimizers. | Vu Le, Chengnian Sun, Zhendong Su |
| 2015 | OOPSLA | Automated backward error analysis for numerical code. | Zhoulai Fu, Zhaojun Bai, Zhendong Su |
| 2015 | OOPSLA | Finding deep compiler bugs via guided stochastic program mutation. | Vu Le, Chengnian Sun, Zhendong Su |
| 2015 | USENIX | GraphQ: Graph Query Processing with Abstraction Refinement - Scalable and Programmable Analytics over Very Large Graphs on a Single PC. | Kai Wang, Guoqing Xu, Zhendong Su, Yu David Liu |
| 2014 | NDSS | Detecting Logic Vulnerabilities in E-commerce Applications. | Fangqi Sun, Liang Xu, Zhendong Su |
| 2014 | OOPSLA | Capturing and Exploiting IDE Interactions. | Zhongxian Gu, Drew Schleck, Earl T. Barr, Zhendong Su |
| 2014 | OOPSLA | Efficient subcubic alias analysis for C. | Qirun Zhang, Xiao Xiao, Charles Zhang, Hao Yuan, Zhendong Su |
| 2014 | PLDI | Compiler validation via equivalence modulo inputs. | Vu Le, Mehrdad Afshari, Zhendong Su |
| 2013 | Mobisys | SmartSynth: synthesizing smartphone automation scripts from natural language. | Vu Le, Sumit Gulwani, Zhendong Su |
| 2013 | Mobisys | Keyword programming for TouchDevelop. | Vu Le, Jonathan de Halleux, Sumit Gulwani, Zhendong Su |
| 2013 | OOPSLA | Steering symbolic execution to less traveled paths. | You Li, Zhendong Su, Linzhang Wang, Xuandong Li |
| 2013 | OOPSLA | Detecting API documentation errors. | Hao Zhong, Zhendong Su |
| 2013 | PLDI | Fast algorithms for Dyck-CFL-reachability with applications to alias analysis. | Qirun Zhang, Michael R. Lyu, Hao Yuan, Zhendong Su |
| 2013 | POPL | Automatic detection of floating-point exceptions. | Earl T. Barr, Thanh Vo, Vu Le, Zhendong Su |
| 2012 | CC | Static Detection of Unsafe Component Loadings. | Taeho Kwon, Zhendong Su |
| 2012 | ICSE | On the naturalness of software. | Abram Hindle, Earl T. Barr, Zhendong Su, Mark Gabel, Premkumar T. Devanbu |
| 2012 | OOPSLA | Liberating the programmer with prorogued programming. | Mehrdad Afshari, Earl T. Barr, Zhendong Su |
| 2012 | OOPSLA | Reusing debugging knowledge via trace-based bug search. | Zhongxian Gu, Earl T. Barr, Drew Schleck, Zhendong Su |
| 2011 | ICDM | Modeling High-Level Behavior Patterns for Precise Similarity Analysis of Software. | Taeho Kwon, Zhendong Su |
| 2011 | ICSE | BQL: capturing and reusing debugging knowledge. | Zhongxian Gu, Earl T. Barr, Zhendong Su |
| 2011 | OOPSLA | Synthesizing method sequences for high-coverage testing. | Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Zhendong Su |
| 2010 | ICSE | Online inference and enforcement of temporal properties. | Mark Gabel, Zhendong Su |
| 2010 | ICSE | Has the bug really been fixed? | Zhongxian Gu, Earl T. Barr, David J. Hamilton, Zhendong Su |
| 2010 | ISSTA | Automatic detection of unsafe component loadings. | Taeho Kwon, Zhendong Su |
| 2010 | ISSTA | Perturbing numerical calculations for statistical analysis of floating-point program (in)stability. | Enyi Tang, Earl T. Barr, Xuandong Li, Zhendong Su |
| 2010 | OOPSLA | Scalable and systematic detection of buggy inconsistencies in source code. | Mark Gabel, Junfeng Yang, Yuan Yu, Moiss Goldszmidt, Zhendong Su |
| 2009 | ESORICS | Client-Side Detection of XSS Worms by Monitoring Payload Propagation. | Fangqi Sun, Liang Xu, Zhendong Su |
| 2009 | ISSTA | Automatic mining of functionally equivalent code fragments via random testing. | Lingxiao Jiang, Zhendong Su |
| 2009 | ISSTA | Detecting code clones in binary executables. | Andreas Sbjrnsen, Jeremiah Willcock, Thomas Panas, Daniel J. Quinlan, Zhendong Su |
| 2009 | SDM | Structure and Dynamics of Research Collaboration in Computer Science. | Christian Bird, Earl T. Barr, Andre Nash, Premkumar T. Devanbu, Vladimir Filkov, Zhendong Su |
| 2008 | ICSE | Scalable detection of semantic clones. | Mark Gabel, Lingxiao Jiang, Zhendong Su |
| 2008 | ICSE | Symbolic mining of temporal specifications. | Mark Gabel, Zhendong Su |
| 2008 | ICSE | Static detection of cross-site scripting vulnerabilities. | Gary Wassermann, Zhendong Su |
| 2008 | ISSTA | Dynamic test input generation for web applications. | Gary Wassermann, Dachuan Yu, Ajay Chander, Dinakar Dhurjati, Hiroshi Inamura, Zhendong Su |
| 2008 | NOMS | Bezoar: Automated virtual machine-based full-system recovery from control-flow hijacking attacks. | Daniela Alvim Seabra de Oliveira, Jedidiah R. Crandall, Gary Wassermann, Shaozhi Ye, Shyhtsun Felix Wu, Zhendong Su, Frederic T. Chong |
| 2007 | ACSAC | Feature Omission Vulnerabilities: Thwarting Signature Generation for Polymorphic Worms. | Matthew Van Gundy, Hao Chen, Zhendong Su, Giovanni Vigna |
| 2007 | ICSE | DECKARD: Scalable and Accurate Tree-Based Detection of Code Clones. | Lingxiao Jiang, Ghassan Misherghi, Zhendong Su, Stphane Glondu |
| 2007 | PLDI | Sound and precise analysis of web applications for injection vulnerabilities. | Gary Wassermann, Zhendong Su |
| 2006 | ACSAC | Back to the Future: A Framework for Automatic Malware Removal and System Repair. | Francis Hsu, Hao Chen, Thomas Ristenpart, Jason Li, Zhendong Su |
| 2006 | ASPLOS | Temporal search: detecting hidden malware timebombs with virtual machines. | Jedidiah R. Crandall, Gary Wassermann, Daniela Alvim Seabra de Oliveira, Zhendong Su, Shyhtsun Felix Wu, Frederic T. Chong |
| 2006 | ASPLOS | ExecRecorder: VM-based full-system replay for attack analysis and system recovery. | Daniela Alvim Seabra de Oliveira, Jedidiah R. Crandall, Gary Wassermann, Shyhtsun Felix Wu, Zhendong Su, Frederic T. Chong |
| 2006 | ICSE | Osprey: a practical type system for validating dimensional unit correctness of C programs. | Lingxiao Jiang, Zhendong Su |
| 2006 | ICSE | HDD: hierarchical Delta Debugging. | Ghassan Misherghi, Zhendong Su |
| 2006 | POPL | The essence of command injection attacks in web applications. | Zhendong Su, Gary Wassermann |
| 2006 | SP | FIREMAN: A Toolkit for FIREwall Modeling and ANalysis. | Lihua Yuan, Jianning Mai, Zhendong Su, Hao Chen, Chen-Nee Chuah, Prasant Mohapatra |
| 2005 | CCS | On deriving unknown vulnerabilities from zero-day polymorphic and metamorphic worm exploits. | Jedidiah R. Crandall, Zhendong Su, Shyhtsun Felix Wu, Frederic T. Chong |
| 2005 | ESOP | Complexity of Subtype Satisfiability over Posets. | Joachim Niehren, Tim Priesnitz, Zhendong Su |
| 2004 | ICSE | Static Checking of Dynamically Generated Queries in Database Applications. | Carl Gould, Zhendong Su, Premkumar T. Devanbu |
| 2004 | ICSE | JDBC Checker: A Static Analysis Tool for SQL/JDBC Applications. | Carl Gould, Zhendong Su, Premkumar T. Devanbu |
| 2004 | TACAS | A Class of Polynomially Solvable Range Constraints for Interval Analysis without Widenings and Narrowings. | Zhendong Su, David A. Wagner |
| 2002 | POPL | The first-order theory of subtyping constraints. | Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen |
| 2001 | ESOP | Entailment with Conditional Equality Constraints. | Zhendong Su, Alexander Aiken |
| 2000 | POPL | Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs. | Zhendong Su, Manuel Fhndrich, Alexander Aiken |
| 1998 | FOSSACS | Deciding Properties for Message Sequence Charts. | Anca Muscholl, Doron A. Peled, Zhendong Su |
| 1998 | PLDI | Partial Online Cycle Elimination in Inclusion Constraint Graphs. | Manuel Fhndrich, Jeffrey S. Foster, Zhendong Su, Alexander Aiken |
| 1998 | TACAS | Detecting Races in Relay Ladder Logic Programs. | Alexander Aiken, Manuel Fhndrich, Zhendong Su |