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

ESEC/FSE 2020Committee Member in Steering Committee
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
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