Mengshi Zhang -

Not registered as user yet

Name:Mengshi Zhang

Affiliation:University of Texas at Austin, USA

Contributions

ICSE 2022	Committee Member in Program Committee within the DEMO - Demonstrations-track
SPIN 2019	Author of Learning Guided Enumerative Synthesis for Superoptimization within the 26th International SPIN Symposium on Model Checking of Software-track
ICSE 2019	Author of Symbolic Execution for Attribution and Attack Synthesis in Neural Networks within the Posters-track
ESEC/FSE 2018	Author of SketchFix: A Tool for Automated Program Repair Approach Using Lazy Candidate Generation within the Demonstrations-track
ISSTA 2017	Author of Boosting Spectrum-Based Fault Localization using PageRank within the Technical Papers-track
* ICSE 2018 *	Author of Towards Practical Program Repair with On-Demand Candidate Generation within the Technical Papers -track