Xiangyu Zhang

Registered user since Tue 2 Sep 2014

Name:Xiangyu Zhang
Country:United States
Affiliation:Purdue University
Research interests:Program analysis, security, and deep learning

Contributions

SPLASH 2021 Committee Member in External Review Committee within the OOPSLA-track
ESEC/FSE 2022 Committee Member in Program Committee within the Research Papers-track
ESEC/FSE 2021 Author of Exposing Numerical Bugs in Deep Learning via Gradient Back-Propagation within the Research Papers-track
Author of PHYSFRAME: Type Checking Physical Frames of Reference for Robotic Systems within the Research Papers-track
ECOOP and ISSTA 2021 ISSTA PC Chair in Organizing Committee
ISSTA PC Chair of Opening Session within the ECOOP and ISSTA Opening-track
Organizer in Organizers within the Discussions with Experts-track
ISSTA 2021 Session Chair of ISSTA Impact Paper Award Talk (part of Keynotes)
PC Chair in Program Committee
Session Chair of Celebrating 30 Editions of ISSTA (part of Keynotes)
PC Chair in Organizing Comittee
Session Chair of Celebrating 30 Editions of ISSTA (part of Keynotes)
ASE 2020 Committee Member in Program Committee within the Research Papers-track
Author of Towards Programming and Verification for Activity-Oriented Smart Home Systems within the Late Breaking Results-track
ICSE 2022 Committee Member in Program Committee within the Technical Track-track
ISSTA 2020 Committee Member in Program Committee within the Technical Papers-track
ESEC/FSE 2020 Author of Correlations between Deep Neural Network Model Coverage Criteria and Model Quality within the Research Papers-track
Author of C2S: Translating Natural Language Comments to Formal Program Specifications within the Research Papers-track
Committee Member in Program Committee within the Research Papers-track
SPLASH 2020 Author of WATCHER: In-Situ Failure Diagnosis within the OOPSLA-track
ICSE 2021 Author of PyART: Python API Recommendation in Real-Time within the Technical Track-track
Author of PyART: Python API Recommendation in Real-Time within the AE - Artifact Evaluation-track
SPLASH 2019 Author of BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-Program Path Sampling and Per-Path Abstract Interpretation within the OOPSLA-track
PLDI 2019 Author 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 2018 Committee Member in Program Committee within the SALAD-track
ICSE 2020 Author of CPC: Automatically Classifying and Propagating Natural Language Comments via Program Analysis within the Technical Papers-track
Author of Finding Client-side Business Flow Tampering Vulnerabilities within the Technical Papers-track
Program Board in Program Board within the Technical Papers-track
Author of How Android Developers Handle Evolution-induced API Compatibility Issues: A Large-scale Study within the Technical Papers-track
Author of TRADER: Trace Divergence Analysis and Embedding Regulation for Debugging Recurrent Neural Networks within the Technical Papers-track
Track Scheduling co-Chair in Organizing Committee
Author of Impact Analysis of Cross-Project Bugs on Software Ecosystems within the Technical Papers-track
ICSE 2019 Committee 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 2018 Author 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 2017 Committee 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 2017 Author of RERANZ: A Light-Weight Virtual Machine to Mitigate Memory Disclosure Attacks within the Session 4-track
PLDI 2017 Committee Member in External Review Committee
* ICSE 2018 * Author of Debugging with Intelligence via Probabilistic Inference within the Technical Papers -track
PLDI 2016 Workshops and Tutorials Chair in Organizing Committee
SPLASH 2016 Author of Apex: Automatic Programming Assignment Error Explanation within the OOPSLA-track
SPLASH 2015 Author of RAIVE: Runtime Assessment of Floating-Point Instability by Vectorization within the OOPSLA-track
PLDI 2015 Author of Light: Replay via Tightly Bounded Recording within the Research Papers-track
Workshops and Tutorials Chair in Organizing Committee
SPLASH 2014 Presenter of Flint: Fixing Linearizability Violations within the OOPSLA Artifacts-track
Author of Flint: Fixing Linearizability Violations within the OOPSLA-track
SPLASH 2013 Author of On-the-fly Detection of Instability Problems in Floating-Point Program Execution within the OOPSLA-track
SPLASH 2012 Committee 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
SPLASH 2011 Author of Accentuating the Positive: Atomicity Inference and Enforcement Using Correct Executions within the OOPSLA-track