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

SPLASH 2023	Author of Accelerating Fuzzing through Prefix-Guided Execution within the OOPSLA-track
ISSTA 2023	Author of An Empirical Study of Functional Bugs in Android Apps within the Technical Papers-track Author of Testing Graph Database Engines via Query Partitioning within the Technical Papers-track
SPLASH 2022	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 2022	Author of Detecting Non-crashing Functional Bugs in Android Apps via Deep-State Differential Analysis within the Research Papers-track Committee Member in Program Committee within the Research Papers-track
ASE 2022	Author of Finding and Understanding Incompleteness Bugs in SMT Solvers within the Research Papers-track
PLDI 2022	Author of IRDL: An IR Definition Language for SSA Compilers within the PLDI-track Committee Member in PLDI within the PLDI-track
SPLASH 2021	Author of Fully Automated Functional Fuzzing of Android Apps for Detecting Non-crashing Logic Bugs within the OOPSLA-track Author of Generative Type-Aware Mutation for Testing SMT Solvers within the OOPSLA-track
APLAS 2021	Author of Solidifying and Advancing the Software Foundations within the Keynote Talks-track
VL/HCC 2021	Author of Algot: An Educational Programming Language with Human-Intuitive Visual Syntax within the Research Papers-track
ESEC/FSE 2021	Author of Benchmarking Automated GUI Testing for Android against Real-World Bugs within the Research Papers-track
ISSTA 2021	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
ICSE 2021	Author of Testing Machine Translation via Referential Transparency within the Technical Track-track
SPLASH 2020	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 2020	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
ASE 2020	Author of Metamorphic Object Insertion for Testing Object Detection Systems within the Research Papers-track
ICSE 2020	Author 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
PLDI 2020	Author 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 2020	Author of Detecting Floating-Point Errors via Atomic Conditions within the Research Papers-track
SPLASH 2019	Author of Detecting Nondeterministic Payment Bugs in Ethereum Smart Contracts within the OOPSLA-track
PLDI 2019	Author 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 2019	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
TACAS 2019	Committee Member in Program Committee within the TACAS 2019-track
ESEC/FSE 2018	Author 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)
SPLASH 2018	Committee Member in External Reviewers within the OOPSLA-track
PLDI 2018	Author 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
* 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
POPL 2018	Committee Member in Program Committee within the Research Papers-track
ISSTA 2017	Committee Member in Program Committee
PLDI 2017	Author 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
POPL 2017	Author of Context-sensitive data dependence analysis via Linear Conjunctive Language Reachability within the POPL-track
Onward! 2016	Author of Building White-Box Abstractions by Program Refinement within the Onward! Papers-track
SPLASH 2016	Author of Finding Compiler Bugs via Live Code Mutation within the OOPSLA-track
PLDI 2016	Committee Member in Program Committee Author of Coverage-Directed Differential Testing of JVM Implementations within the Research Papers-track
SPLASH 2015	Author 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 2015	Committee Member in External Review Committee within the Research Papers-track
SPLASH 2014	Author of Efficient Subcubic Alias Analysis for C within the OOPSLA-track
Onward! 2014	Author of Capturing and Exploiting IDE Interactions within the Onward! Papers-track Committee Member in Program Committee within the Onward! Papers-track
SPLASH 2013	Author 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 2012	Author 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 2011	Committee Member in Program Committee within the OOPSLA-track Author of Synthesizing method sequences for high-coverage testing within the OOPSLA-track