Zhendong Su

Registered user since Sun 26 Aug 2018

Name:Zhendong Su
Country:Switzerland
Affiliation:ETH Zurich

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