conf.researchr.org / Mengshi Zhang

Not registered as user yet

Name: Mengshi Zhang

Affiliation: University of Texas at Austin, USA

Contributions

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