SPLASH 2024 (series) / Zhendong Su

Registered user since Sun 26 Aug 2018
Name:Zhendong Su
Country:Switzerland
Affiliation:ETH Zurich
Personal website: https://people.inf.ethz.ch/suz/
Contributions
2024
SPLASH
- Validating SMT Solvers for Correctness and Performance via Grammar-based Enumeration
- Understanding and Finding Java Decompiler Bugs
- When Your Infrastructure is a Buggy Program: Understanding Faults in Infrastructure as Code Ecosystems
- SMT2Test: From SMT Formulas to Effective Test Cases
- The Hidden Program State Hurts Everyone
SPLASH 2024-profile
View general profile
View general profile