Zhendong Su

Registered user since Sun 26 Aug 2018

Name: Zhendong Su

Affiliation: ETH Zurich, Switzerland

Personal website: https://people.inf.ethz.ch/suz/

Contributions

SPLASH 2010
ISSTA 2021PC Member in Program Committee
ASE 2020Author of Metamorphic Object Insertion for Testing Object Detection Systems within the Research Papers-track
ESEC/FSE 2020Committee 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
SPLASH 2020Author 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
PLDI 2020Author of Validating SMT Solvers via Semantic Fusion within the PLDI Research Papers-track
Author of Blended, Precise Semantic Program Embeddings within the PLDI Research Papers-track
POPL 2020Author of Detecting Floating-Point Errors via Atomic Conditions within the Research Papers-track
SPLASH 2019Author of Detecting Nondeterministic Payment Bugs in Ethereum Smart Contracts within the OOPSLA-track
TACAS 2019Committee Member in Program Committee within the TACAS 2019-track
PLDI 2019Author of Effective Floating-Point Analysis via Weak-Distance Minimization within the PLDI Research Papers-track
Committee Member in Program Committee within the PLDI Research Papers-track
ICSE 2020Author of Symbolic Verification of Message Passing Interface Programs within the Technical Papers-track
Author of Structure-Invariant Testing for Machine Translation within the Technical Papers-track
SPLASH 2018Committee Member in External Reviewers within the OOPSLA-track
ICSE 2019Author 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
ESEC/FSE 2018Author of Ten Years of Hunting for Similar Code for Fun and Profit within the Keynotes-track
Committee Member in Program Committee within the Research Papers-track
Session Chair of Performance (part of Research Papers)
PLDI 2018Author of Calling-to-Reference Context Translation via Constraint-Guided CFL-Reachability within the PLDI Research Papers-track
Author of Search, Align, and Repair: Data-Driven Feedback Generation for Introductory Programming Exercises within the PLDI Research Papers-track
POPL 2018Committee Member in Program Committee within the Research Papers-track
ISSTA 2017Committee Member in Program Committee
POPL 2017Author of Context-sensitive data dependence analysis via Linear Conjunctive Language Reachability within the POPL-track
PLDI 2017Author of Achieving High Coverage for Floating-point Code via Unconstrained Programming within the PLDI Research Papers-track
Author of Skeletal Program Enumeration for Rigorous Compiler Testing within the PLDI Research Papers-track
Onward! 2016Author of Building White-Box Abstractions by Program Refinement within the Onward! Papers-track
* ICSE 2018 *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
PLDI 2016Committee Member in Program Committee
Author of Coverage-Directed Differential Testing of JVM Implementations within the Research Papers-track
SPLASH 2016Author of Finding Compiler Bugs via Live Code Mutation within the OOPSLA-track
SPLASH 2015Author of Automated Backward Error Analysis for Numerical Code within the OOPSLA-track
Author of Finding Deep Compiler Bugs via Guided Stochastic Program Mutation within the OOPSLA-track
Committee Member in External Review Committee within the OOPSLA-track
PLDI 2015Committee Member in External Review Committee within the Research Papers-track
Onward! 2014Author of Capturing and Exploiting IDE Interactions within the Onward! Papers-track
Committee Member in Program Committee within the Onward! Papers-track
SPLASH 2014Author of Efficient Subcubic Alias Analysis for C within the OOPSLA-track
SPLASH 2013Author of Detecting API Documentation Errors within the OOPSLA-track
Committee Member in Program Committee within the OOPSLA-track
Author of Steering Symbolic Execution to Less Traveled Paths within the OOPSLA-track
SPLASH 2012Author of Liberating the programmer with prorogued programming within the Onward! Papers-track
Author of Reusing debugging knowledge via trace-based bug search within the OOPSLA Research Papers-track
SPLASH 2011Committee Member in Program Committee within the OOPSLA-track
Author of Synthesizing method sequences for high-coverage testing within the OOPSLA-track