Zhendong Su - RankMe

255 papers A* 75A 33B 6C 1Journal 87Unranked 52

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	A Code-Free, Direct-Manipulation Interface for Constructing Boolean Expressions. SIGCSE (1) Andrin Gasser, Sverrir Thorgeirsson, April Wang, Zhendong Su
2026	J	`jnl`	Agentic Harness for Real-World Compilers. CoRR Yingwei Zheng, Cong Li, Shaohua Li, Yuqun Zhang, Zhendong Su
2026	A*	`conf`	Computer Science Achievement and Writing Skills Predict Vibe Coding Proficiency. CHI Sverrir Thorgeirsson, Theo B. Weidmann, Zhendong Su
2026	J	`jnl`	Computer Science Achievement and Writing Skills Predict Vibe Coding Proficiency. CoRR Sverrir Thorgeirsson, Theo B. Weidmann, Zhendong Su
2026	J	`jnl`	Cross-Ecosystem Vulnerability Analysis for Python Applications. CoRR Georgios Alexopoulos, Nikolaos Alexopoulos, Thodoris Sotiropoulos, Charalambos Mitropoulos, Zhendong Su, Dimitris Mitropoulos
2026	—	`conf`	Evaluating Compiler Optimization Impacts on zkVM Performance. ASPLOS (2) Thomas Gassmann, Stefanos Chaliasos, Thodoris Sotiropoulos, Zhendong Su
2026	J	`jnl`	From Natural Language to Executable Properties for Property-based Testing of Mobile Apps. CoRR Yiheng Xiong, Ting Su, Jingling Sun, Jue Wang, Qin Li, Geguang Pu, Zhendong Su
2026	J	`jnl`	Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification. CoRR Zenan Li, Ziran Yang, Deyuan He, Haoyu Zhao, Andrew Zhao, Shange Tang, Kaiyu Yang, Aarti Gupta, Zhendong Su, Chi Jin
2026	J	`jnl`	Learning to Disprove: Formal Counterexample Generation with Large Language Models. CoRR Zenan Li, Zhaoyu Li, Kaiyu Yang, Xiaoxing Ma, Zhendong Su
2026	J	`jnl`	MLIR-Smith: A Novel Random Program Generator for Evaluating Compiler Pipelines. CoRR Berke Ates, Filip Dobrosavljevic, Theodoros Theodoridis, Zhendong Su
2026	J	`jnl`	Stepwise: Neuro-Symbolic Proof Search for Automated Systems Verification. CoRR Baoding He, Zenan Li, Wei Sun, Yuan Yao, Taolue Chen, Xiaoxing Ma, Zhendong Su
2026	A*	`conf`	The Elephant in the Syntax: A Comparative Study of Semantics‑First, Block‑Based, and Textual Programming. CHI Theo B. Weidmann, Sverrir Thorgeirsson, Karl-Heinz Weidmann, April Yi Wang, Zhendong Su
2026	—	`conf`	Transforming Confusion into Diffusion: Advancing Machine Learning Education via Bottom-Up Instruction. SIGCSE (1) Carlos Cotrini, Sverrir Thorgeirsson, Jesus Solano, Zhendong Su
2026	J	`jnl`	Vision-Based Mobile App GUI Testing: A Survey. ACM Comput. Surv. Shengcheng Yu, Chunrong Fang, Ziyuan Tuo, Quanjun Zhang, Chunyang Chen, Zhenyu Chen, Zhendong Su
2025	J	`jnl`	API-Guided Dataset Synthesis to Finetune Large Code Models. Proc. ACM Program. Lang. Zongjie Li, Daoyuan Wu, Shuai Wang, Zhendong Su
2025	J	`jnl`	An Empirical Study of Bugs in the rustc Compiler. Proc. ACM Program. Lang. Zixi Liu, Yang Feng, Yunbo Ni, Shaohua Li, Xizhe Yin, Qingkai Shi, Baowen Xu, Zhendong Su
2025	J	`jnl`	An Empirical Study of Rust-Specific Bugs in the rustc Compiler. CoRR Zixi Liu, Yang Feng, Yunbo Ni, Shaohua Li, Xizhe Yin, Qingkai Shi, Baowen Xu, Zhendong Su
2025	A*	`conf`	Approximation Enforced Execution of Untrusted Linux Kernel Extensions. USENIX Security Symposium Hao Sun, Zhendong Su
2025	A*	`conf`	CipherSteal: Stealing Input Data from TEE-Shielded Neural Networks with Ciphertext Side Channels. SP Yuanyuan Yuan, Zhibo Liu, Sen Deng, Yanzuo Chen, Shuai Wang, Yinqian Zhang, Zhendong Su
2025	J	`jnl`	Code Semantic Zooming. CoRR Jinsheng Ba, Sverrir Thorgeirsson, Zhendong Su
2025	A*	`conf`	Differentiation-Based Extraction of Proprietary Data from Fine-Tuned LLMs. CCS Zongjie Li, Daoyuan Wu, Shuai Wang, Zhendong Su
2025	J	`jnl`	Differentiation-Based Extraction of Proprietary Data from Fine-Tuned LLMs. CoRR Zongjie Li, Daoyuan Wu, Shuai Wang, Zhendong Su
2025	J	`jnl`	Divergence-Aware Testing of Graphics Shader Compiler Back-Ends. Proc. ACM Program. Lang. Dongwei Xiao, Shuai Wang, Zhibo Liu, Yiteng Peng, Daoyuan Wu, Zhendong Su
2025	J	`jnl`	Evaluating Compiler Optimization Impacts on zkVM Performance. CoRR Thomas Gassmann, Stefanos Chaliasos, Thodoris Sotiropoulos, Zhendong Su
2025	—	`conf`	Map, Filter, and Conquer: A Visual Tool for Learning Higher-Order Functions. ITiCSE (1) Silvan Renggli, Sverrir Thorgeirsson, Theo B. Weidmann, Zhendong Su
2025	J	`jnl`	Mokav: Execution-driven differential testing with LLMs. J. Syst. Softw. Khashayar Etemadi, Bardia Mohammadi, Zhendong Su, Martin Monperrus
2025	A*	`conf`	Prove It to the Kernel: Precise Extension Analysis via Proof-Guided Abstraction Refinement. SOSP Hao Sun, Zhendong Su
2025	J	`jnl`	Relaxing Alias Analysis: Exploring the Unexplored Space. Proc. ACM Program. Lang. Michel Weber, Theodoros Theodoridis, Zhendong Su
2025	A*	`conf`	Sand: Decoupling Sanitization from Fuzzing for Low Overhead. ICSE Ziqiao Kong, Shaohua Li, Heqing Huang, Zhendong Su
2025	J	`jnl`	Validating JIT Compilers via Compilation Space Exploration. ACM Trans. Comput. Syst. Cong Li, Yanyan Jiang, Chang Xu, Zhendong Su
2025	J	`jnl`	Validating Soundness and Completeness in Pattern-Match Coverage Analyzers. Proc. ACM Program. Lang. Cyril Moser, Thodoris Sotiropoulos, Chengyu Zhang, Zhendong Su
2025	—	`conf`	What Can Computer Science Educators Learn From the Failures of Top-Down Pedagogy? SIGCSE (1) Sverrir Thorgeirsson, Tracy Ewen, Zhendong Su
2024	—	`conf`	A Direct Manipulation Programming Environment for Teaching Introductory and Advanced Software Testing. Koli Calling Maximilian Georg Barth, Sverrir Thorgeirsson, Zhendong Su
2024	J	`jnl`	API-Driven Program Synthesis for Testing Static Typing Implementations. Proc. ACM Program. Lang. Thodoris Sotiropoulos, Stefanos Chaliasos, Zhendong Su
2024	J	`jnl`	API-guided Dataset Synthesis to Finetune Large Code Models. CoRR Zongjie Li, Daoyuan Wu, Shuai Wang, Zhendong Su
2024	—	`conf`	An Electroencephalography Study on Cognitive Load in Visual and Textual Programming. ICER (1) Sverrir Thorgeirsson, Chengyu Zhang, Theo B. Weidmann, Karl-Heinz Weidmann, Zhendong Su
2024	—	`conf`	Assessing Live Programming for Program Comprehension. ITiCSE (1) Oliver Graf, Sverrir Thorgeirsson, Zhendong Su
2024	J	`jnl`	Boosting Compiler Testing by Injecting Real-World Code. Proc. ACM Program. Lang. Shaohua Li, Theodoros Theodoridis, Zhendong Su
2024	—	`conf`	Comparing Cognitive Load Among Undergraduate Students Programming in Python and the Visual Language Algot. SIGCSE (1) Sverrir Thorgeirsson, Theo B. Weidmann, Karl-Heinz Weidmann, Zhendong Su
2024	J	`jnl`	Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages. CoRR Vince Szabo, Dominik Winterer, Zhendong Su
2024	A*	`conf`	Detecting Logic Bugs in Database Engines via Equivalent Expression Transformation. OSDI Zu-Ming Jiang, Zhendong Su
2024	J	`jnl`	Dinkel: Testing Graph Database Engines via State-Aware Query Generation. CoRR Dominic Wüst, Zu-Ming Jiang, Zhendong Su
2024	J	`jnl`	Effective, Platform-Independent GUI Testing via Image Embedding and Reinforcement Learning. ACM Trans. Softw. Eng. Methodol. Shengcheng Yu, Chunrong Fang, Xin Li, Yuchen Ling, Zhenyu Chen, Zhendong Su
2024	A*	`conf`	General and Practical Property-based Testing for Android Apps. ASE Yiheng Xiong, Ting Su, Jue Wang, Jingling Sun, Geguang Pu, Zhendong Su
2024	A*	`conf`	HyperTheft: Thieving Model Weights from TEE-Shielded Neural Networks via Ciphertext Side Channels. CCS Yuanyuan Yuan, Zhibo Liu, Sen Deng, Yanzuo Chen, Shuai Wang, Yinqian Zhang, Zhendong Su
2024	J	`jnl`	Mokav: Execution-driven Differential Testing with LLMs. CoRR Khashayar Etemadi, Bardia Mohammadi, Zhendong Su, Martin Monperrus
2024	A*	`conf`	Practical Non-Intrusive GUI Exploration Testing with Visual-based Robotic Arms. ICSE Shengcheng Yu, Chunrong Fang, Mingzhe Du, Yuchen Ling, Zhenyu Chen, Zhendong Su
2024	J	`jnl`	Practical, Automated Scenario-Based Mobile App Testing. IEEE Trans. Software Eng. Shengcheng Yu, Chunrong Fang, Mingzhe Du, Zimin Ding, Zhenyu Chen, Zhendong Su
2024	J	`jnl`	Practical, Automated Scenario-based Mobile App Testing. CoRR Shengcheng Yu, Chunrong Fang, Mingzhe Du, Zimin Ding, Zhenyu Chen, Zhendong Su
2024	—	`conf`	Recursion in Secondary Computer Science Education: A Comparative Study of Visual Programming Approaches. SIGCSE (1) Sverrir Thorgeirsson, Lennart C. Lais, Theo B. Weidmann, Zhendong Su
2024	J	`jnl`	Refined Input, Degraded Output: The Counterintuitive World of Compiler Behavior. Proc. ACM Program. Lang. Theodoros Theodoridis, Zhendong Su
2024	J	`jnl`	SAND: Decoupling Sanitization from Fuzzing for Low Overhead. CoRR Ziqiao Kong, Shaohua Li, Heqing Huang, Zhendong Su
2024	J	`jnl`	SMT2Test: From SMT Formulas to Effective Test Cases. Proc. ACM Program. Lang. Chengyu Zhang, Zhendong Su
2024	A	`conf`	See the Forest, not Trees: Unveiling and Escaping the Pitfalls of Error-Triggering Inputs in Neural Network Testing. ISSTA Yuanyuan Yuan, Shuai Wang, Zhendong Su
2024	—	`conf`	The Hidden Program State Hurts Everyone. Onward! Sverrir Thorgeirsson, Oliver Graf, Zhendong Su
2024	—	`conf`	UBFuzz: Finding Bugs in Sanitizer Implementations. ASPLOS (1) Shaohua Li, Zhendong Su
2024	J	`jnl`	UBfuzz: Finding Bugs in Sanitizer Implementations. CoRR Shaohua Li, Zhendong Su
2024	J	`jnl`	Understanding and Finding Java Decompiler Bugs. Proc. ACM Program. Lang. Yifei Lu, Weidong Hou, Minxue Pan, Xuandong Li, Zhendong Su
2024	J	`jnl`	Validating SMT Solvers for Correctness and Performance via Grammar-Based Enumeration. Proc. ACM Program. Lang. Dominik Winterer, Zhendong Su
2024	A*	`conf`	Validating the eBPF Verifier via State Embedding. OSDI Hao Sun, Zhendong Su
2024	J	`jnl`	When Your Infrastructure Is a Buggy Program: Understanding Faults in Infrastructure as Code Ecosystems. Proc. ACM Program. Lang. Georgios-Petros Drosos, Thodoris Sotiropoulos, Georgios Alexopoulos, Dimitris Mitropoulos, Zhendong Su
2023	J	`jnl`	Accelerating Fuzzing through Prefix-Guided Execution. Proc. ACM Program. Lang. Shaohua Li, Zhendong Su
2023	A	`conf`	An Empirical Study of Functional Bugs in Android Apps. ISSTA Yiheng Xiong, Mengqian Xu, Ting Su, Jingling Sun, Jue Wang, He Wen, Geguang Pu, Jifeng He, Zhendong Su
2023	—	`conf`	Automata-Based Trace Analysis for Aiding Diagnosing GUI Testing Tools for Android. ESEC/SIGSOFT FSE Enze Ma, Shan Huang, Weigang He, Ting Su, Jue Wang, Huiyu Liu, Geguang Pu, Zhendong Su
2023	J	`jnl`	Characterizing and Finding System Setting-Related Defects in Android Apps. IEEE Trans. Software Eng. Jingling Sun, Ting Su, Kai Liu, Chao Peng, Zhao Zhang, Geguang Pu, Tao Xie, Zhendong Su
2023	J	`jnl`	Coverage-directed Differential Testing of X.509 Certificate Validation in SSL/TLS Implementations. ACM Trans. Softw. Eng. Methodol. Pengbo Nie, Chengcheng Wan, Jiayu Zhu, Ziyi Lin, Yuting Chen, Zhendong Su
2023	A*	`conf`	Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction. OSDI Zu-Ming Jiang, Si Liu, Manuel Rigger, Zhendong Su
2023	A*	`conf`	DynSQL: Stateful Fuzzing for Database Management Systems with Complex and Valid SQL Query Generation. USENIX Security Symposium Zu-Ming Jiang, Jia-Ju Bai, Zhendong Su
2023	J	`jnl`	Extended Paper: API-driven Program Synthesis for Testing Static Typing Implementations. CoRR Thodoris Sotiropoulos, Stefanos Chaliasos, Zhendong Su
2023	—	`conf`	Finding Unstable Code via Compiler-Driven Differential Testing. ASPLOS (3) Shaohua Li, Zhendong Su
2023	J	`jnl`	Practical Non-Intrusive GUI Exploration Testing with Visual-based Robotic Arms. CoRR Shengcheng Yu, Chunrong Fang, Mingzhe Du, Yuchen Ling, Zhenyu Chen, Zhendong Su
2023	A*	`conf`	Precise and Generalized Robustness Certification for Neural Networks. USENIX Security Symposium Yuanyuan Yuan, Shuai Wang, Zhendong Su
2023	J	`jnl`	Precise and Generalized Robustness Certification for Neural Networks. CoRR Yuanyuan Yuan, Shuai Wang, Zhendong Su
2023	—	`conf`	Property-Based Fuzzing for Finding Data Manipulation Errors in Android Apps. ESEC/SIGSOFT FSE Jingling Sun, Ting Su, Jiayi Jiang, Jue Wang, Geguang Pu, Zhendong Su
2023	A	`conf`	Testing Graph Database Engines via Query Partitioning. ISSTA Matteo Kamm, Manuel Rigger, Chengyu Zhang, Zhendong Su
2023	—	`conf`	Towards Efficient Data-Flow Test Data Generation. Theories of Programming and Formal Methods Ting Su, Chengyu Zhang, Yichen Yan, Lingling Fan, Yang Liu, Zhoulai Fu, Zhendong Su
2023	A*	`conf`	Validating JIT Compilers via Compilation Space Exploration. SOSP Cong Li, Yanyan Jiang, Chang Xu, Zhendong Su
2023	J	`jnl`	Vision-Based Mobile App GUI Testing: A Survey. CoRR Shengcheng Yu, Chunrong Fang, Ziyuan Tuo, Quanjun Zhang, Chunyang Chen, Zhenyu Chen, Zhendong Su
2022	—	`conf`	Bridging the Syntax-Semantics Gap of Programming. Onward! Theo B. Weidmann, Sverrir Thorgeirsson, Zhendong Su
2022	—	`conf`	Detecting non-crashing functional bugs in Android apps via deep-state differential analysis. ESEC/SIGSOFT FSE Jue Wang, Yanyan Jiang, Ting Su, Shaohua Li, Chang Xu, Jian Lu, Zhendong Su
2022	B	`conf`	Does Deliberately Failing Improve Learning in Introductory Computer Science? EC-TEL Sverrir Thorgeirsson, Tanmay Sinha, Felix Friedrich, Zhendong Su
2022	A*	`conf`	Finding and Understanding Incompleteness Bugs in SMT Solvers. ASE Mauro Bringolf, Dominik Winterer, Zhendong Su
2022	A*	`conf`	Finding missed optimizations through the lens of dead code elimination. ASPLOS Theodoros Theodoridis, Manuel Rigger, Zhendong Su
2022	—	`conf`	Forest: Structural Code Editing with Multiple Cursors. Onward! Philippe Voinov, Manuel Rigger, Zhendong Su
2022	J	`jnl`	Forest: Structural Code Editing with Multiple Cursors. CoRR Philippe Voinov, Manuel Rigger, Zhendong Su
2022	A*	`conf`	IRDL: an IR definition language for SSA compilers. PLDI Mathieu Fehr, Jeff Niu, River Riddle, Mehdi Amini, Zhendong Su, Tobias Grosser
2022	—	`conf`	Intramorphic Testing: A New Approach to the Test Oracle Problem. Onward! Manuel Rigger, Zhendong Su
2022	J	`jnl`	Intramorphic Testing: A New Approach to the Test Oracle Problem. CoRR Manuel Rigger, Zhendong Su
2022	J	`jnl`	Oracle-free repair synthesis for floating-point programs. Proc. ACM Program. Lang. Daming Zou, Yuchen Gu, Yuanfeng Shi, Mingzhe Wang, Yingfei Xiong, Zhendong Su
2022	A*	`conf`	Understanding and exploiting optimal function inlining. ASPLOS Theodoros Theodoridis, Tobias Grosser, Zhendong Su
2022	J	`jnl`	Why My App Crashes? Understanding and Benchmarking Framework-Specific Exceptions of Android Apps. IEEE Trans. Software Eng. Ting Su, Lingling Fan, Sen Chen, Yang Liu, Lihua Xu, Geguang Pu, Zhendong Su
2021	B	`conf`	Algot: An Educational Programming Language with Human-Intuitive Visual Syntax. VL/HCC Sverrir Thorgeirsson, Zhendong Su
2021	—	`conf`	Benchmarking automated GUI testing for Android against real-world bugs. ESEC/SIGSOFT FSE Ting Su, Jue Wang, Zhendong Su
2021	J	`jnl`	Fully automated functional fuzzing of Android apps for detecting non-crashing logic bugs. Proc. ACM Program. Lang. Ting Su, Yichen Yan, Jue Wang, Jingling Sun, Yiheng Xiong, Geguang Pu, Ke Wang, Zhendong Su
2021	J	`jnl`	Generative type-aware mutation for testing SMT solvers. Proc. ACM Program. Lang. Jiwon Park, Dominik Winterer, Chengyu Zhang, Zhendong Su
2021	A*	`conf`	SANRAZOR: Reducing Redundant Sanitizer Checks in C/C++ Programs. OSDI Jiang Zhang, Shuai Wang, Manuel Rigger, Pinjia He, Zhendong Su
2021	A*	`conf`	Testing Machine Translation via Referential Transparency. ICSE Pinjia He, Clara Meister, Zhendong Su
2021	A	`conf`	Understanding and finding system setting-related defects in Android apps. ISSTA Jingling Sun, Ting Su, Junxin Li, Zhen Dong, Geguang Pu, Tao Xie, Zhendong Su
2020	J	`jnl`	Automated Functional Fuzzing of Android Apps. CoRR Ting Su, Yichen Yan, Jue Wang, Zhendong Su
2020	A*	`conf`	Blended, precise semantic program embeddings. PLDI Ke Wang, Zhendong Su
2020	J	`jnl`	Detecting Optimization Bugs in Database Engines via Non-Optimizing Reference Engine Construction. CoRR Manuel Rigger, Zhendong Su
2020	J	`jnl`	Detecting floating-point errors via atomic conditions. Proc. ACM Program. Lang. Daming Zou, Muhan Zeng, Yingfei Xiong, Zhoulai Fu, Lu Zhang, Zhendong Su
2020	—	`conf`	Detecting optimization bugs in database engines via non-optimizing reference engine construction. ESEC/SIGSOFT FSE Manuel Rigger, Zhendong Su
2020	J	`jnl`	Fast linear programming through transprecision computing on small and sparse data. Proc. ACM Program. Lang. Tobias Grosser, Theodoros Theodoridis, Maximilian Falkenstein, Arjun Pitchanathan, Michael Kruse, Manuel Rigger, Zhendong Su, Torsten Hoefler
2020	J	`jnl`	Finding bugs in database systems via query partitioning. Proc. ACM Program. Lang. Manuel Rigger, Zhendong Su
2020	A	`conf`	Guided, Deep Testing of X.509 Certificate Validation via Coverage Transfer Graphs. ICSME Jiayu Zhu, Chengcheng Wan, Pengbo Nie, Yuting Chen, Zhendong Su
2020	—	`conf`	Machine translation testing via pathological invariance. ESEC/SIGSOFT FSE Shashij Gupta, Pinjia He, Clara Meister, Zhendong Su
2020	A*	`conf`	Metamorphic Object Insertion for Testing Object Detection Systems. ASE Shuai Wang, Zhendong Su
2020	J	`jnl`	On the Unusual Effectiveness of Type-aware Mutations for Testing SMT Solvers. CoRR Dominik Winterer, Chengyu Zhang, Zhendong Su
2020	J	`jnl`	On the unusual effectiveness of type-aware operator mutations for testing SMT solvers. Proc. ACM Program. Lang. Dominik Winterer, Chengyu Zhang, Zhendong Su
2020	J	`jnl`	ShapeFlow: Dynamic Shape Interpreter for TensorFlow. CoRR Sahil Verma, Zhendong Su
2020	A*	`conf`	Structure-invariant testing for machine translation. ICSE Pinjia He, Clara Meister, Zhendong Su
2020	A	`conf`	Student Adoption and Perceptions of a Web Integrated Development Environment: An Experience Report. SIGCSE Martin Velez, Michael Yen, Mathew Le, Zhendong Su, Mohammad Amin Alipour
2020	A*	`conf`	Symbolic verification of message passing interface programs. ICSE Hengbiao Yu, Zhenbang Chen, Xianjin Fu, Ji Wang, Zhendong Su, Jun Sun, Chun Huang, Wei Dong
2020	A*	`conf`	Testing Database Engines via Pivoted Query Synthesis. OSDI Manuel Rigger, Zhendong Su
2020	J	`jnl`	Testing Database Engines via Pivoted Query Synthesis. CoRR Manuel Rigger, Zhendong Su
2020	J	`jnl`	Testing Machine Translation via Referential Transparency. CoRR Pinjia He, Clara Meister, Zhendong Su
2020	A*	`conf`	Validating SMT solvers via semantic fusion. PLDI Dominik Winterer, Chengyu Zhang, Zhendong Su
2019	A*	`conf`	Deep differential testing of JVM implementations. ICSE Yuting Chen, Ting Su, Zhendong Su
2019	J	`jnl`	Detecting nondeterministic payment bugs in Ethereum smart contracts. Proc. ACM Program. Lang. Shuai Wang, Chengyu Zhang, Zhendong Su
2019	A*	`conf`	Effective floating-point analysis via weak-distance minimization. PLDI Zhoulai Fu, Zhendong Su
2019	—	`conf`	Exploring and exploiting the correlations between bug-inducing and bug-fixing commits. ESEC/SIGSOFT FSE Ming Wen, Rongxin Wu, Yepang Liu, Yongqiang Tian, Xuan Xie, Shing-Chi Cheung, Zhendong Su
2019	A*	`conf`	Exposing library API misuses via mutation analysis. ICSE Ming Wen, Yepang Liu, Rongxin Wu, Xuan Xie, Shing-Chi Cheung, Zhendong Su
2019	—	`conf`	Finding and understanding bugs in software model checkers. ESEC/SIGSOFT FSE Chengyu Zhang, Ting Su, Yichen Yan, Fuyuan Zhang, Geguang Pu, Zhendong Su
2019	A*	`conf`	Global optimization of numerical programs via prioritized stochastic algebraic transformations. ICSE Xie Wang, Huaijin Wang, Zhendong Su, Enyi Tang, Xin Chen, Weijun Shen, Zhenyu Chen, Linzhang Wang, Xianpei Zhang, Xuandong Li
2019	A*	`conf`	Hunting for bugs in code coverage tools via randomized differential testing. ICSE Yibiao Yang, Yuming Zhou, Hao Sun, Zhendong Su, Zhiqiang Zuo, Lei Xu, Baowen Xu
2019	J	`jnl`	Learning Blended, Precise Semantic Program Embeddings. CoRR Ke Wang, Zhendong Su
2019	J	`jnl`	Metamorphic Testing for Object Detection Systems. CoRR Shuai Wang, Zhendong Su
2019	A*	`conf`	Practical GUI testing of Android applications via model abstraction and refinement. ICSE Tianxiao Gu, Chengnian Sun, Xiaoxing Ma, Chun Cao, Chang Xu, Yuan Yao, Qirun Zhang, Jian Lu, Zhendong Su
2019	J	`jnl`	Structure-Invariant Testing for Machine Translation. CoRR Pinjia He, Clara Meister, Zhendong Su
2018	A*	`conf`	Calling-to-reference context translation via constraint-guided CFL-reachability. PLDI Cheng Cai, Qirun Zhang, Zhiqiang Zuo, Khanh Nguyen, Guoqing Harry Xu, Zhendong Su
2018	J	`jnl`	Combining Symbolic Execution and Model Checking to Verify MPI Programs. CoRR Hengbiao Yu, Zhenbang Chen, Xianjin Fu, Ji Wang, Zhendong Su, Wei Dong, Chun Huang
2018	—	`conf`	Dynamic Neural Program Embeddings for Program Repair. ICLR (Poster) Ke Wang, Rishabh Singh, Zhendong Su
2018	J	`jnl`	How test suites impact fault localisation starting from the size. IET Softw. Yan Lei, Chengnian Sun, Xiaoguang Mao, Zhendong Su
2018	J	`jnl`	Large-Scale Analysis of Framework-Specific Exceptions in Android Apps. CoRR Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu, Geguang Pu, Zhendong Su
2018	A*	`conf`	Large-scale analysis of framework-specific exceptions in Android apps. ICSE Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu, Geguang Pu, Zhendong Su
2018	A*	`conf`	Perses: syntax-guided program reduction. ICSE Chengnian Sun, Yuanbo Li, Qirun Zhang, Tianxiao Gu, Zhendong Su
2018	A*	`conf`	Search, align, and repair: data-driven feedback generation for introductory programming exercises. PLDI Ke Wang, Rishabh Singh, Zhendong Su
2018	A*	`conf`	Symbolic verification of regular properties. ICSE Hengbiao Yu, Zhenbang Chen, Ji Wang, Zhendong Su, Wei Dong
2018	—	`conf`	Ten years of hunting for similar code for fun and profit (keynote). ESEC/SIGSOFT FSE Stéphane Glondu, Lingxiao Jiang, Zhendong Su
2018	J	`jnl`	Towards Efficient Data-flow Test Data Generation. CoRR Ting Su, Chengyu Zhang, Yichen Yan, Lingling Fan, Geguang Pu, Yang Liu, Zhoulai Fu, Zhendong Su
2017	J	`jnl`	A Survey on Data-Flow Testing. ACM Comput. Surv. Ting Su, Ke Wu, Weikai Miao, Geguang Pu, Jifeng He, Yuting Chen, Zhendong Su
2017	J	`jnl`	Achieving High Coverage for Floating-point Code via Unconstrained Programming (Extended Version). CoRR Zhoulai Fu, Zhendong Su
2017	A*	`conf`	Achieving high coverage for floating-point code via unconstrained programming. PLDI Zhoulai Fu, Zhendong Su
2017	A*	`conf`	Context-sensitive data-dependence analysis via linear conjunctive language reachability. POPL Qirun Zhang, Zhendong Su
2017	J	`jnl`	Data-Driven Feedback Generation for Introductory Programming Exercises. CoRR Ke Wang, Rishabh Singh, Zhendong Su
2017	C	`conf`	Detecting Energy Bugs in Android Apps Using Static Analysis. ICFEM Hao Jiang, Hongli Yang, Shengchao Qin, Zhendong Su, Jian Zhang, Jun Yan
2017	J	`jnl`	Dynamic Neural Program Embedding for Program Repair. CoRR Ke Wang, Rishabh Singh, Zhendong Su
2017	—	`conf`	Guided, stochastic model-based GUI testing of Android apps. ESEC/SIGSOFT FSE Ting Su, Guozhu Meng, Yuting Chen, Ke Wu, Weiming Yang, Yao Yao, Geguang Pu, Yang Liu, Zhendong Su
2017	J	`jnl`	Interactive, Intelligent Tutoring for Auxiliary Constructions in Geometry Proofs. CoRR Ke Wang, Zhendong Su
2017	A*	`conf`	Skeletal program enumeration for rigorous compiler testing. PLDI Qirun Zhang, Chengnian Sun, Zhendong Su
2017	A*	`conf`	Stochastic optimization of program obfuscation. ICSE Han Liu, Chengnian Sun, Zhendong Su, Yu Jiang, Ming Gu, Jiaguang Sun
2017	J	`jnl`	Understanding the syntactic rule usage in java. J. Syst. Softw. Dong Qiu, Bixin Li, Earl T. Barr, Zhendong Su
2016	J	`jnl`	Automated coverage-driven testing: combining symbolic execution and model checking. Sci. China Inf. Sci. Ting Su, Geguang Pu, Weikai Miao, Jifeng He, Zhendong Su
2016	A*	`conf`	Automatic runtime recovery via error handler synthesis. ASE Tianxiao Gu, Chengnian Sun, Xiaoxing Ma, Jian Lü, Zhendong Su
2016	—	`conf`	Building white-box abstractions by program refinement. Onward! Mehrdad Afshari, Zhendong Su
2016	A*	`conf`	Coverage-directed differential testing of JVM implementations. PLDI Yuting Chen, Ting Su, Chengnian Sun, Zhendong Su, Jianjun Zhao
2016	A*	`conf`	Dimensionally Guided Synthesis of Mathematical Word Problems. IJCAI Ke Wang, Zhendong Su
2016	A*	`conf`	Finding and analyzing compiler warning defects. ICSE Chengnian Sun, Vu Le, Zhendong Su
2016	A	`conf`	Finding compiler bugs via live code mutation. OOPSLA Chengnian Sun, Vu Le, Zhendong Su
2016	J	`jnl`	Mathematical Execution: A Unified Approach for Testing Numerical Code. CoRR Zhoulai Fu, Zhendong Su
2016	J	`jnl`	On the naturalness of software. Commun. ACM Abram Hindle, Earl T. Barr, Mark Gabel, Zhendong Su, Premkumar T. Devanbu
2016	—	`ed.`	Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016, Seattle, WA, USA, November 13-18, 2016 SIGSOFT FSE Thomas Zimmermann, Jane Cleland-Huang, Zhendong Su
2016	J	`jnl`	Skeletal Program Enumeration for Rigorous Compiler Testing. CoRR Qirun Zhang, Chengnian Sun, Zhendong Su
2016	J	`jnl`	Toward Rapid Transformation of Ideas into Software. CoRR Mehrdad Afshari, Zhendong Su
2016	A	`conf`	Toward understanding compiler bugs in GCC and LLVM. ISSTA Chengnian Sun, Vu Le, Qirun Zhang, Zhendong Su
2016	—	`conf`	XSat: A Fast Floating-Point Satisfiability Solver. CAV (2) Zhoulai Fu, Zhendong Su
2015	—	`conf`	A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies. ICSE (1) Daming Zou, Ran Wang, Yingfei Xiong, Lu Zhang, Zhendong Su, Hong Mei
2015	J	`jnl`	A Study of "Wheat" and "Chaff" in Source Code. CoRR Martin Velez, Dong Qiu, You Zhou, Earl T. Barr, Zhendong Su
2015	—	`conf`	An Empirical Study on Real Bug Fixes. ICSE (1) Hao Zhong, Zhendong Su
2015	A*	`conf`	Automated Geometry Theorem Proving for Human-Readable Proofs. IJCAI Ke Wang, Zhendong Su
2015	A	`conf`	Automated backward error analysis for numerical code. OOPSLA Zhoulai Fu, Zhaojun Bai, Zhendong Su
2015	A*	`conf`	Automatic Generation of Raven's Progressive Matrices. IJCAI Ke Wang, Zhendong Su
2015	—	`conf`	Combining Symbolic Execution and Model Checking for Data Flow Testing. ICSE (1) Ting Su, Zhoulai Fu, Geguang Pu, Jifeng He, Zhendong Su
2015	A	`conf`	Finding deep compiler bugs via guided stochastic program mutation. OOPSLA Vu Le, Chengnian Sun, Zhendong Su
2015	—	`conf`	GraphQ: Graph Query Processing with Abstraction Refinement - Scalable and Programmable Analytics over Very Large Graphs on a Single PC. USENIX ATC Kai Wang, Guoqing Xu, Zhendong Su, Yu David Liu
2015	—	`conf`	Guided differential testing of certificate validation in SSL/TLS implementations. ESEC/SIGSOFT FSE Yuting Chen, Zhendong Su
2015	A	`conf`	Randomized stress-testing of link-time optimizers. ISSTA Vu Le, Chengnian Sun, Zhendong Su
2014	—	`conf`	Capturing and Exploiting IDE Interactions. Onward! Zhongxian Gu, Drew Schleck, Earl T. Barr, Zhendong Su
2014	A*	`conf`	Compiler validation via equivalence modulo inputs. PLDI Vu Le, Mehrdad Afshari, Zhendong Su
2014	A*	`conf`	Detecting Logic Vulnerabilities in E-commerce Applications. NDSS Fangqi Sun, Liang Xu, Zhendong Su
2014	A	`conf`	Efficient subcubic alias analysis for C. OOPSLA Qirun Zhang, Xiao Xiao, Charles Zhang, Hao Yuan, Zhendong Su
2014	—	`conf`	On the localness of software. SIGSOFT FSE Zhaopeng Tu, Zhendong Su, Premkumar T. Devanbu
2014	A*	`conf`	X-Force: Force-Executing Binary Programs for Security Applications. USENIX Security Symposium Fei Peng, Zhui Deng, Xiangyu Zhang, Dongyan Xu, Zhiqiang Lin, Zhendong Su
2013	J	`jnl`	Abstracting Runtime Heaps for Program Understanding. IEEE Trans. Software Eng. Mark Marron, César Sánchez, Zhendong Su, Manuel Fähndrich
2013	—	`conf`	An empirical analysis of the co-evolution of schema and code in database applications. ESEC/SIGSOFT FSE Dong Qiu, Bixin Li, Zhendong Su
2013	A*	`conf`	Automatic detection of floating-point exceptions. POPL Earl T. Barr, Thanh Vo, Vu Le, Zhendong Su
2013	A	`conf`	Detecting API documentation errors. OOPSLA Hao Zhong, Zhendong Su
2013	A*	`conf`	Fast algorithms for Dyck-CFL-reachability with applications to alias analysis. PLDI Qirun Zhang, Michael R. Lyu, Hao Yuan, Zhendong Su
2013	A	`conf`	Keyword programming for TouchDevelop. MobiSys Vu Le, Jonathan de Halleux, Sumit Gulwani, Zhendong Su
2013	—	`conf`	Server interface descriptions for automated testing of JavaScript web applications. ESEC/SIGSOFT FSE Casper Svenning Jensen, Anders Møller, Zhendong Su
2013	A	`conf`	SmartSynth: synthesizing smartphone automation scripts from natural language. MobiSys Vu Le, Sumit Gulwani, Zhendong Su
2013	A	`conf`	Steering symbolic execution to less traveled paths. OOPSLA You Li, Zhendong Su, Linzhang Wang, Xuandong Li
2012	J	`jnl`	Abstracting Runtime Heaps for Program Understanding CoRR Mark Marron, César Sánchez, Zhendong Su, Manuel Fähndrich
2012	J	`jnl`	Automatic Detection of Unsafe Dynamic Component Loadings. IEEE Trans. Software Eng. Taeho Kwon, Zhendong Su
2012	—	`conf`	Detecting and analyzing insecure component usage. SIGSOFT FSE Taeho Kwon, Zhendong Su
2012	A	`ed.`	International Symposium on Software Testing and Analysis, ISSTA 2012, Minneapolis, MN, USA, July 15-20, 2012 ISSTA Mats Per Erik Heimdahl, Zhendong Su
2012	—	`conf`	Liberating the programmer with prorogued programming. Onward! Mehrdad Afshari, Earl T. Barr, Zhendong Su
2012	A*	`conf`	On the naturalness of software. ICSE Abram Hindle, Earl T. Barr, Zhendong Su, Mark Gabel, Premkumar T. Devanbu
2012	A	`conf`	Reusing debugging knowledge via trace-based bug search. OOPSLA Zhongxian Gu, Earl T. Barr, Drew Schleck, Zhendong Su
2012	B	`conf`	Static Detection of Unsafe Component Loadings. CC Taeho Kwon, Zhendong Su
2012	—	`conf`	Testing mined specifications. SIGSOFT FSE Mark Gabel, Zhendong Su
2011	A*	`conf`	BQL: capturing and reusing debugging knowledge. ICSE Zhongxian Gu, Earl T. Barr, Zhendong Su
2011	A*	`conf`	Modeling High-Level Behavior Patterns for Precise Similarity Analysis of Software. ICDM Taeho Kwon, Zhendong Su
2011	A*	`conf`	Static Detection of Access Control Vulnerabilities in Web Applications. USENIX Security Symposium Fangqi Sun, Liang Xu, Zhendong Su
2011	A	`conf`	Synthesizing method sequences for high-coverage testing. OOPSLA Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Zhendong Su
2010	—	`conf`	A study of the uniqueness of source code. SIGSOFT FSE Mark Gabel, Zhendong Su
2010	A	`conf`	Automatic detection of unsafe component loadings. ISSTA Taeho Kwon, Zhendong Su
2010	—	`conf`	Has the bug really been fixed? ICSE (1) Zhongxian Gu, Earl T. Barr, David J. Hamilton, Zhendong Su
2010	—	`conf`	Online inference and enforcement of temporal properties. ICSE (1) Mark Gabel, Zhendong Su
2010	A	`conf`	Perturbing numerical calculations for statistical analysis of floating-point program (in)stability. ISSTA Enyi Tang, Earl T. Barr, Xuandong Li, Zhendong Su
2010	A	`conf`	Scalable and systematic detection of buggy inconsistencies in source code. OOPSLA Mark Gabel, Junfeng Yang, Yuan Yu, Moisés Goldszmidt, Zhendong Su
2009	A	`conf`	Automatic mining of functionally equivalent code fragments via random testing. ISSTA Lingxiao Jiang, Zhendong Su
2009	A	`conf`	Client-Side Detection of XSS Worms by Monitoring Payload Propagation. ESORICS Fangqi Sun, Liang Xu, Zhendong Su
2009	A	`conf`	Detecting code clones in binary executables. ISSTA Andreas Sæbjørnsen, Jeremiah Willcock, Thomas Panas, Daniel J. Quinlan, Zhendong Su
2009	J	`jnl`	Putting Trojans on the Horns of a Dilemma: Redundancy for Information Theft Detection. Trans. Comput. Sci. Jedidiah R. Crandall, John Brevik, Shaozhi Ye, Gary Wassermann, Daniela Alvim Seabra de Oliveira, Zhendong Su, Shyhtsun Felix Wu, Frederic T. Chong
2009	B	`ed.`	Static Analysis, 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings SAS Jens Palsberg, Zhendong Su
2009	A*	`conf`	Static Validation of C Preprocessor Macros. ASE Andreas Saebjoernsen, Lingxiao Jiang, Daniel J. Quinlan, Zhendong Su
2009	A	`conf`	Structure and Dynamics of Research Collaboration in Computer Science. SDM Christian Bird, Earl T. Barr, Andre Nash, Premkumar T. Devanbu, Vladimir Filkov, Zhendong Su
2008	J	`jnl`	A general framework for benchmarking firewall optimization techniques. IEEE Trans. Netw. Serv. Manag. Ghassan Misherghi, Lihua Yuan, Zhendong Su, Chen-Nee Chuah, Hao Chen
2008	B	`conf`	Bezoar: Automated virtual machine-based full-system recovery from control-flow hijacking attacks. NOMS Daniela Alvim Seabra de Oliveira, Jedidiah R. Crandall, Gary Wassermann, Shaozhi Ye, Shyhtsun Felix Wu, Zhendong Su, Frederic T. Chong
2008	A	`conf`	Dynamic test input generation for web applications. ISSTA Gary Wassermann, Dachuan Yu, Ajay Chander, Dinakar Dhurjati, Hiroshi Inamura, Zhendong Su
2008	—	`conf`	Javert: fully automatic mining of general temporal properties from dynamic traces. SIGSOFT FSE Mark Gabel, Zhendong Su
2008	—	`conf`	Profile-guided program simplification for effective testing and analysis. SIGSOFT FSE Lingxiao Jiang, Zhendong Su
2008	A*	`conf`	Scalable detection of semantic clones. ICSE Mark Gabel, Lingxiao Jiang, Zhendong Su
2008	A*	`conf`	Static detection of cross-site scripting vulnerabilities. ICSE Gary Wassermann, Zhendong Su
2008	A*	`conf`	Symbolic mining of temporal specifications. ICSE Mark Gabel, Zhendong Su
2007	A*	`conf`	Context-aware statistical debugging: from bug predictors to faulty control flow paths. ASE Lingxiao Jiang, Zhendong Su
2007	—	`conf`	Context-based detection of clone-related bugs. ESEC/SIGSOFT FSE Lingxiao Jiang, Zhendong Su, Edwin Chiu
2007	A*	`conf`	DECKARD: Scalable and Accurate Tree-Based Detection of Code Clones. ICSE Lingxiao Jiang, Ghassan Misherghi, Zhendong Su, Stéphane Glondu
2007	A	`conf`	Feature Omission Vulnerabilities: Thwarting Signature Generation for Polymorphic Worms. ACSAC Matthew Van Gundy, Hao Chen, Zhendong Su, Giovanni Vigna
2007	A*	`conf`	Sound and precise analysis of web applications for injection vulnerabilities. PLDI Gary Wassermann, Zhendong Su
2007	J	`jnl`	Static checking of dynamically generated queries in database applications. ACM Trans. Softw. Eng. Methodol. Gary Wassermann, Carl Gould, Zhendong Su, Premkumar T. Devanbu
2006	A	`conf`	Back to the Future: A Framework for Automatic Malware Removal and System Repair. ACSAC Francis Hsu, Hao Chen, Thomas Ristenpart, Jason Li, Zhendong Su
2006	—	`conf`	ExecRecorder: VM-based full-system replay for attack analysis and system recovery. ASID Daniela Alvim Seabra de Oliveira, Jedidiah R. Crandall, Gary Wassermann, Shyhtsun Felix Wu, Zhendong Su, Frederic T. Chong
2006	—	`conf`	FIREMAN: A Toolkit for FIREwall Modeling and ANalysis. S&P Lihua Yuan, Jianning Mai, Zhendong Su, Hao Chen, Chen-Nee Chuah, Prasant Mohapatra
2006	A*	`conf`	HDD: hierarchical Delta Debugging. ICSE Ghassan Misherghi, Zhendong Su
2006	A*	`conf`	Osprey: a practical type system for validating dimensional unit correctness of C programs. ICSE Lingxiao Jiang, Zhendong Su
2006	A*	`conf`	Temporal search: detecting hidden malware timebombs with virtual machines. ASPLOS Jedidiah R. Crandall, Gary Wassermann, Daniela Alvim Seabra de Oliveira, Zhendong Su, Shyhtsun Felix Wu, Frederic T. Chong
2006	A*	`conf`	The essence of command injection attacks in web applications. POPL Zhendong Su, Gary Wassermann
2006	—	`conf`	Validity Checking for Finite Automata over Linear Arithmetic Constraints. FSTTCS Gary Wassermann, Zhendong Su
2005	J	`jnl`	A class of polynomially solvable range constraints for interval analysis without widenings. Theor. Comput. Sci. Zhendong Su, David A. Wagner
2005	A	`conf`	Complexity of Subtype Satisfiability over Posets. ESOP Joachim Niehren, Tim Priesnitz, Zhendong Su
2005	A*	`conf`	On deriving unknown vulnerabilities from zero-day polymorphic and metamorphic worm exploits. CCS Jedidiah R. Crandall, Zhendong Su, Shyhtsun Felix Wu, Frederic T. Chong
2004	A	`conf`	A Class of Polynomially Solvable Range Constraints for Interval Analysis without Widenings and Narrowings. TACAS Zhendong Su, David A. Wagner
2004	A*	`conf`	JDBC Checker: A Static Analysis Tool for SQL/JDBC Applications. ICSE Carl Gould, Zhendong Su, Premkumar T. Devanbu
2004	A*	`conf`	Static Checking of Dynamically Generated Queries in Database Applications. ICSE Carl Gould, Zhendong Su, Premkumar T. Devanbu
2002	A*	`conf`	The first-order theory of subtyping constraints. POPL Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen
2001	A	`conf`	Entailment with Conditional Equality Constraints. ESOP Zhendong Su, Alexander Aiken
2000	J	`jnl`	Detecting races in Relay Ladder Logic programs. Int. J. Softw. Tools Technol. Transf. Alexander Aiken, Manuel Fähndrich, Zhendong Su
2000	A*	`conf`	Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs. POPL Zhendong Su, Manuel Fähndrich, Alexander Aiken
1998	—	`conf`	A Toolkit for Constructing Type- and Constraint-Based Program Analyses. Types in Compilation Alexander Aiken, Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su
1998	B	`conf`	Deciding Properties for Message Sequence Charts. FoSSaCS Anca Muscholl, Doron A. Peled, Zhendong Su
1998	A	`conf`	Detecting Races in Relay Ladder Logic Programs. TACAS Alexander Aiken, Manuel Fähndrich, Zhendong Su
1998	A*	`conf`	Partial Online Cycle Elimination in Inclusion Constraint Graphs. PLDI Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su, Alexander Aiken