Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Zhendong Su
conf.researchr.org general profile
* ICSE 2018 * profile
ASE 2020 profile
ASE 2022 profile
ECOOP and ISSTA 2021 profile
ECOOP and ISSTA 2023 profile
ESEC/FSE 2018 profile
ESEC/FSE 2020 profile
ESEC/FSE 2021 profile
ESEC/FSE 2022 profile
ETAPS 2019 profile
ICSE 2019 profile
ICSE 2020 profile
ICSE 2021 profile
ISSTA 2017 profile
PLDI 2015 profile
PLDI 2016 profile
PLDI 2018 profile
PLDI 2019 profile
PLDI 2020 profile
PLDI 2022 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
POPL 2017 profile
POPL 2018 profile
POPL 2020 profile
SPLASH 2011 profile
SPLASH 2012 profile
SPLASH 2013 profile
SPLASH 2014 profile
SPLASH 2015 profile
SPLASH 2016 profile
SPLASH 2018 profile
SPLASH 2019 profile
SPLASH 2020 profile
SPLASH 2021 profile
SPLASH 2022 profile
SPLASH 2023 profile
VL/HCC 2021 profile
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
Share
x
Wed 7 Jun 15:33