Xiangyu Zhang

Registered user since Tue 2 Sep 2014

Name: Xiangyu Zhang

Affiliation: Purdue University

Personal website: https://www.cs.purdue.edu/homes/xyzhang/

Contributions

ISSTA 2020Committee Member in Program Committee within the Technical Papers-track
SPLASH 2019Author of BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-Program Path Sampling and Per-Path Abstract Interpretation within the OOPSLA-track
PLDI 2019Author of Programming Support for Autonomizing Software within the PLDI Research Papers-track
Committee Member in External Review Committee within the PLDI Research Papers-track
Author of SemCluster: Clustering of Imperative Programming Assignments Based on Quantitative Semantic Features within the PLDI Research Papers-track
SALAD 2018Committee Member in Program Committee within the SALAD-track
ICSE 2020Program Board in Program Board within the Technical Papers-track
Track Scheduling Chair in Organizing Committee
ICSE 2019Committee Member in Program Committee within the Technical Track-track
Author of Probabilistic Disassembly within the Technical Track-track
Author of SLF: Fuzzing without Valid Seed Inputs within the Technical Track-track
ESEC/FSE 2018Author of Phys: Probabilistic Physical Unit Assignment and Inconsistency Detection within the Research Papers-track
Author of MODE: Automated Neural Network Model Debugging via State Differential Analysis and Input Selection within the Research Papers-track
Committee Member in Program Committee within the Research Papers-track
ISSTA 2017Committee Member in Program Committee
Author of Accelerating Array Constraints in Symbolic Execution within the Technical Papers-track
Author of CPR: Cross Platform Binary Code Reuse via Platform Independent Trace Program within the Technical Papers-track
VEE 2017Author of RERANZ: A Light-Weight Virtual Machine to Mitigate Memory Disclosure Attacks within the Session 4-track
PLDI 2017Committee Member in External Review Committee
* ICSE 2018 *Author of Debugging with Intelligence via Probabilistic Inference within the Technical Papers -track
PLDI 2016Workshops and Tutorials Chair in Organizing Committee
SPLASH 2016Author of Apex: Automatic Programming Assignment Error Explanation within the OOPSLA-track
SPLASH 2015Author of RAIVE: Runtime Assessment of Floating-Point Instability by Vectorization within the OOPSLA-track
PLDI 2015Author of Light: Replay via Tightly Bounded Recording within the Research Papers-track
Workshops and Tutorials Chair in Organizing Committee
SPLASH 2014Presenter of Flint: Fixing Linearizability Violations within the OOPSLA Artifacts-track
Author of Flint: Fixing Linearizability Violations within the OOPSLA-track
SPLASH 2013Author of On-the-fly Detection of Instability Problems in Floating-Point Program Execution within the OOPSLA-track
SPLASH 2012Committee Member in Program Committee within the OOPSLA Research Papers-track
Committee Member in Program Committee
Author of White box sampling in uncertain data processing enabled by program analysis within the OOPSLA Research Papers-track