• Sign in
  • Sign up
conf.researchr.org / Mengshi Zhang
  • * ICSE 2018 * profile
  • ESEC/FSE 2018 profile
  • ICSE 2019 profile
  • ISSTA 2017 profile
  • ISSTA 2019 profile

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

Share
xSat 14 Dec 14:17
using conf.researchr.org (v1.21.5)
Support page
Sign Up