Xiangyu Zhang -

Registered user since Tue 2 Sep 2014

Name:Xiangyu Zhang

Country:United States

Affiliation:Purdue University

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

Research interests:Program analysis, security, and deep learning

Contributions

ASE 2023	PC Member in Program Committee within the Research Papers-track
ISSTA 2023	Author of Improving Binary Code Similarity Transformer Models by Semantics-driven Instruction Deemphasis within the Technical Papers-track Author of NodeRT: Detecting Races in Node.js Applications Practically within the Technical Papers-track
ICSE 2023	Author of BFTDetector: Automatic Detection of Business Flow Tampering for Digital Content Service within the Artifact Evaluation-track Author of KNOD: Domain Knowledge Distilled Tree Decoder for Automated Program Repair within the Technical Track-track Program Committee Member in Technical Track within the Technical Track-track Author of Artifact of "KNOD: Domain Knowledge Distilled Tree Decoder for Automated Program Repair" within the Artifact Evaluation-track Author of BFTDetector: Automatic Detection of Business Flow Tampering for Digital Content Service within the Technical Track-track
CAIN 2023	PC Member in Program Committee
ESEC/FSE 2022	Committee Member in Program Committee within the Research Papers-track Author of RULER: Discriminative and Iterative Adversarial Training for Deep Neural Network Fairness within the Research Papers-track
ASE 2022	Author of SA4U: Practical Static Analysis for Unit Type Error Detection within the Research Papers-track
ISSTA 2022	Author of TensileFuzz: Facilitating Seed Input Generation in Fuzzing via String Constraint Solving within the Technical Papers-track Author of DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions within the Technical Papers-track
ICSE 2022	Committee Member in Program Committee within the Technical Track-track Author of To What Extent Do DNN-based Image Classification Models Make Unreliable Inferences? within the Journal-First Papers-track
CAIN 2022	Committee Member in Program Committee within the CAIN 2022-track Author of Automatic Checkpointing and Deterministic Training for Deep Learning within the CAIN 2022-track
SPLASH 2021	Committee Member in External Review Committee within the OOPSLA-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)
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 2020	Author of WATCHER: In-Situ Failure Diagnosis within the OOPSLA-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
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
ISSTA 2020	Committee Member in Program Committee within the Technical Papers-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
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
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
SALAD 2018	Committee Member in Program Committee within the SALAD-track
* ICSE 2018 *	Author of Debugging with Intelligence via Probabilistic Inference within the Technical 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
PLDI 2017	Committee Member in External Review Committee
VEE 2017	Author of RERANZ: A Light-Weight Virtual Machine to Mitigate Memory Disclosure Attacks within the Session 4-track
SPLASH 2016	Author of Apex: Automatic Programming Assignment Error Explanation within the OOPSLA-track
PLDI 2016	Workshops and Tutorials Chair in Organizing Committee
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