conf.researchr.org / Mengshi Zhang

Not registered as user yet

Name: Mengshi Zhang

Affiliation: University of Texas at Austin, USA

Contributions

SPIN 2019Author of Learning Guided Enumerative Synthesis for Superoptimization within the 26th International SPIN Symposium on Model Checking of Software-track
ICSE 2019Author of Symbolic Execution for Attribution and Attack Synthesis in Neural Networks within the Posters-track
ESEC/FSE 2018Author of SketchFix: A Tool for Automated Program Repair Approach Using Lazy Candidate Generation within the Demonstrations-track
ISSTA 2017Author 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