Zhendong Su

Full Professor

ETH Zürich

Switzerland

Research Interests

Explore related searches

Professors in Switzerland Professors in Cybersecurity Cybersecurity professors in Switzerland

Contact this professor

Get a free first email built on one of their papers, ready for you to edit and send yourself.

About

Zhendong Su is a Full Professor at ETH Zurich, Switzerland. His research interests encompass compiler validation, graphics shader testing, and automated software testing methodologies. Recent publications include works on API-guided dataset synthesis, alias analysis relaxation, and effective testing strategies for infrastructure as code ecosystems.

Articles (18)

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2024

Year:

2024

Year:

2024

Year:

2024

Year:

2024

Year:

2024

Year:

2023

Year:

2023

Year:

2022

Year:

2022

Year:

2020

Year:

2020

Year:

2020

Year:

2020

Collaborators (2)

Chengyu Zhang

Lecturer (Assistant Professor)

Loughborough University

UNITED KINGDOM

View details

Tobias Grosser

University of Edinburgh

UNITED KINGDOM

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Zhendong Su

Research Interests

Explore related searches

Contact this professor

About

Articles (18)

Validating JIT Compilers via Compilation Space Exploration

Divergence-Aware Testing of Graphics Shader Compiler Back-Ends

Relaxing Alias Analysis: Exploring the Unexplored Space

API-Guided Dataset Synthesis to Finetune Large Code Models

SMT2Test: From SMT Formulas to Effective Test Cases

Validating SMT Solvers for Correctness and Performance via Grammar-Based Enumeration

When Your Infrastructure Is a Buggy Program: Understanding Faults in Infrastructure as Code Ecosystems

Effective, Platform-Independent GUI Testing via Image Embedding and Reinforcement Learning

Practical, Automated Scenario-Based Mobile App Testing

Boosting Compiler Testing by Injecting Real-World Code

Accelerating Fuzzing through Prefix-Guided Execution

Characterizing and Finding System Setting-Related Defects in Android Apps

Oracle-free repair synthesis for floating-point programs

Coverage-Directed Differential Testing of X.509 Certificate Validation in SSL/TLS Implementations

Finding bugs in database systems via query partitioning

On the unusual effectiveness of type-aware operator mutations for testing SMT solvers

Detecting Floating-point errors via atomic conditions

Fast linear programming through transprecision computing on small and sparse data

Collaborators (2)

Chengyu Zhang

Tobias Grosser

Make your next move.