conf.researchr.org / 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
2025
2024
SPLASH
- Author of Validating SMT Solvers for Correctness and Performance via Grammar-based Enumeration within the OOPSLA 2024-track
- Author of Understanding and Finding Java Decompiler Bugs within the OOPSLA 2024-track
- Author of When Your Infrastructure is a Buggy Program: Understanding Faults in Infrastructure as Code Ecosystems within the OOPSLA 2024-track
- Author of SMT2Test: From SMT Formulas to Effective Test Cases within the OOPSLA 2024-track
- Author of The Hidden Program State Hurts Everyone within the Onward! Essays-track
ESEC/FSE
PLDI
SIGCSE TS
2023
ESEC/FSE
2022
SPLASH
- Author of Bridging the Syntax-Semantics Gap of Programming within the Onward! Papers-track
- Author of Forest: Structural Code Editing with Multiple Cursors within the Onward! Papers-track
- Author of Intramorphic Testing: A New Approach to the Test Oracle Problem within the Onward! Papers-track
- Author of Oracle-Free Repair Synthesis for Floating-Point Programs within the V-OOPSLA-track
ESEC/FSE
2021
SPLASH
ISSTA
- Panelist of ISSTA 30th Panel on the Past and Future of Software Testing and Analysis (Panel 2) within the Keynotes-track
- PC Member in Program Committee
- Author of Understanding and Finding System Setting-Related Defects in Android Apps within the Technical Papers-track
- Author of Understanding and Finding System Setting-Related Defects in Android Apps within the Artifact Evaluation-track
2020
SPLASH
- Author of On the Unusual Effectiveness of Type-Aware Operator Mutations for Testing SMT Solvers within the OOPSLA-track
- Author of Finding Bugs in Database Systems via Query Partitioning within the OOPSLA Artifacts-track
- Author of Finding Bugs in Database Systems via Query Partitioning within the OOPSLA-track
- Author of Fast Linear Programming through Transprecision Computing on Small and Sparse Data within the OOPSLA-track
- Author of On the Unusual Effectiveness of Type-aware Operator Mutations for Testing SMT Solvers within the Posters-track
ESEC/FSE
- Committee Member in Steering Committee
- Author of Detecting Optimization Bugs in Database Engines via Non-optimizing Reference Engine Construction within the Research Papers-track
- Committee Member in Program Committee within the Research Papers-track
- Author of Machine Translation Testing via Pathological Invariance within the Research Papers-track
ICSE
PLDI
2019
PLDI
ICSE
- Author of Deep Differential Testing of JVM Implementations within the Technical Track-track
- Author of Global Optimization of Numerical Programs via Prioritized Stochastic Algebraic Transformations within the Technical Track-track
- Author of Exposing Library API Misuses via Mutation Analysis within the Technical Track-track
- Author of Practical GUI Testing of Android Applications via Model Abstraction and Refinement within the Technical Track-track
- Committee Member in Program Committee within the Technical Track-track
- Author of Hunting for Bugs in Code Coverage Tools via Randomized Differential Testing within the Technical Track-track
2018
ESEC/FSE
PLDI
ICSE
- Author of Large-Scale Analysis of Framework-Specific Exceptions in Android Apps within the Technical Papers -track
- Author of Perses: Syntax-Guided Program Reduction within the Technical Papers -track
- Author of Symbolic Verification of Regular Properties within the Technical Papers -track
- Committee Member in Workshops program commitee within the Workshops-track
- Committee Member in Program committee within the Technical Papers -track