Zhendong Su

ETH Zurich — Switzerland

Computer Science · Physical Sciences

65h-index14.3kcitations270works3.52yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Software Testing and Debugging Techniques(161), Software Engineering Research(107), Advanced Malware Detection Techniques(66), Software Reliability and Analysis Research(60), Formal Methods in Verification(36)

Publications270 total

A Code-Free, Direct-Manipulation Interface for Constructing Boolean Expressions
2026Open Access
Differentiation-Based Extraction of Proprietary Data from Fine-Tuned LLMs
2025· 1 cited
Effect of the width-to-depth ratio in highly confined waterways on squat and resistance characteristics of self-propelled ships
Ocean Engineering·2025
Vision-Based Mobile App GUI Testing: A Survey
ACM Computing Surveys·2025· 3 cited
The Quest toward That Perfect Compiler (Keynote)
2025
An Empirical Study of Bugs in the rustc Compiler
Proceedings of the ACM on Programming Languages·2025Open Access
Validating Soundness and Completeness in Pattern-Match Coverage Analyzers
Proceedings of the ACM on Programming Languages·2025Open Access
Code Semantic Zooming
arXiv (Cornell University)·2025Open Access
Prove It to the Kernel: Precise Extension Analysis via Proof-Guided Abstraction Refinement
2025Open Access
Map, Filter, and Conquer: A Visual Tool for Learning Higher-Order Functions
2025Open Access
Divergence-Aware Testing of Graphics Shader Compiler Back-Ends
Proceedings of the ACM on Programming Languages·2025· 1 citedOpen Access
Relaxing Alias Analysis: Exploring the Unexplored Space
Proceedings of the ACM on Programming Languages·2025· 1 citedOpen Access
CipherSteal: Stealing Input Data from TEE-Shielded Neural Networks with Ciphertext Side Channels
2025· 7 cited
API-Guided Dataset Synthesis to Finetune Large Code Models
Proceedings of the ACM on Programming Languages·2025· 4 citedOpen Access
An Empirical Study of Rust-Specific Bugs in the rustc Compiler
arXiv (Cornell University)·2025Open Access
Validating JIT Compilers via Compilation Space Exploration
ACM Transactions on Computer Systems·2025· 4 cited
HyperTheft: Thieving Model Weights from TEE-Shielded Neural Networks via Ciphertext Side Channels
2024· 8 citedOpen Access
General and Practical Property-based Testing for Android Apps
2024· 2 cited
The Hidden Program State Hurts Everyone
2024· 2 cited
When Your Infrastructure Is a Buggy Program: Understanding Faults in Infrastructure as Code Ecosystems
Proceedings of the ACM on Programming Languages·2024· 6 citedOpen Access
page 1 of 14Next →

Frequent Co-authors

Mark Gabel(8), Prémkumar Dévanbu(8), Vu Le(7), C. P. Sun(7), Gary Wassermann(6), Lingxiao Jiang(5), Earl T. Barr(5), Ting Su(5), Yuting Chen(4), Qirun Zhang(4), Carl Gould(4), Abram Hindle(3), Geguang Pu(3), Ghassan Misherghi(2), Mehrdad Afshari(2), Guozhu Meng(2), Ke Wu(2), Yang Liu(2), Tianxiao Gu(2), Hao Zhong(2)