Sarfraz Khurshid

Registered user since Thu 5 Apr 2018

Name: Sarfraz Khurshid

Affiliation: University of Texas at Austin

Contributions

ESEC/FSE 2021Committee Member in Program Committee within the Research Papers-track
ASE 2020Author of TestMC: Testing Model Counters using Differential and Metamorphic Testing within the Research Papers-track
Committee Member in Program Committee within the Research Papers-track
ISSTA 2020Committee Member in Program Committee within the Technical Papers-track
Session Chair of Summer School (part of Summer School)
General Chair in Organizing Committee
Session Chair of Welcome & Keynote (part of Keynote)
ESEC/FSE 2020Author of AlloyMC: Alloy Meets Model Counting within the Tool Demos-track
SPLASH 2020Author of Unifying Execution of Imperative Generators and Declarative Specifications within the Posters-track
Author of Unifying Execution of Imperative Generators and Declarative Specifications within the OOPSLA-track
ICST 2020Committee Member in Program Committee within the Research Papers-track
PLDI 2020Author of A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML) within the PLDI Research Papers-track
Committee Member in External Review Committee within the PLDI Research Papers-track
JPF 2019Committee Member in Program Committee within the JPF 2019-track
ICSE 2021Committee Member in Program Committee within the Workshops-track
ASE 2019Committee Member in Steering Committee
Committee Member in Program Committee within the Research Papers-track
SPIN 2019Author of Learning Guided Enumerative Synthesis for Superoptimization within the 26th International SPIN Symposium on Model Checking of Software-track
Author of A Study of Learning Data Structure Invariants Using Off-the-shelf Tools within the 26th International SPIN Symposium on Model Checking of Software-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 of Predictive Constraint Solving and Analysis within the New Ideas and Emerging Results-track
Program Board 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 ISSTA 2018Author 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