Sarfraz Khurshid

Registered user since Thu 5 Apr 2018

Name: Sarfraz Khurshid

Country: United States

Affiliation: University of Texas at Austin

Contributions

JPF 2019Committee Member in Program Committee within the JPF 2019-track
ASE 2019Committee Member in Steering Committee
Committee Member in Program Committee within the Research Papers-track
ISSTA 2019Author of ISSTA 2020 Preview within the Keynote-track
JPF 2018Author of A Progress Bar for the JPF Search Using Program Executions within the JPF-track
Committee Member in Program Committee within the JPF-track
TACAS 2019Author of Incremental Analysis of Evolving Alloy Models within the TACAS 2019-track
ICSE 2020Author in Program Board within the Technical Papers-track
ICSE 2019Author of Symbolic Execution for Attribution and Attack Synthesis in Neural Networks within the Posters-track
Committee Member in Program Committee within the Technical Track-track
Author of ARepair: A Repair Framework for Alloy within the Demonstrations-track
ESEC/FSE 2018Author of ASketch: A Sketching Framework for Alloy within the Demonstrations-track
Committee Member in Program Committee within the Research Papers-track
Author 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
Committee Member in Program Committee
SPIN 2017Committee Member in Program Committee
ECOOP 2018Author of Learning to Accelerate Symbolic Execution via Code Transformation within the ECOOP Research Papers-track
ISSTA 2018Session Chair of Test and Oracle Generation (part of ISSTA Technical Papers)
Author of Test input generation with Java PathFinder: Then and Now within the ISSTA Keynotes-track
Committee Member in Program Committee within the ISSTA Technical Papers-track
ECOOP and ISSTAAuthor of Learning to Accelerate Symbolic Execution via Code Transformation within the Posters-track
SPLASH 2017Author of Bounded Exhaustive Test-Input Generation on GPUs within the OOPSLA-track
* ICSE 2018 *Author of Towards Practical Program Repair with On-Demand Candidate Generation within the Technical Papers -track
Author of MuAlloy: A Mutation Testing Framework for Alloy within the DEMO - Demonstrations -track
ECOOP 2016Committee Member in External Review Committee within the Research Track-track
SPLASH 2015Committee Member in External Review Committee within the OOPSLA-track
SPLASH 2014Committee Member in Program Committee within the OOPSLA-track
Author of Bounded Exhaustive Test Input Generation from Hybrid Invariants within the OOPSLA-track
SPLASH 2013Author of Injecting Mechanical Faults to Localize Developer Faults for Evolving Software within the OOPSLA-track
SPLASH 2012Author of Scaling symbolic execution using ranged analysis within the OOPSLA Research Papers-track