Sarfraz Khurshid

Registered user since Thu 5 Apr 2018

Name:Sarfraz Khurshid
Country:United States
Affiliation:University of Texas at Austin

Contributions

ESEC/FSE 2022 Author of SymMC: Approximate Model Enumeration and Counting using Symmetry Information for Alloy Specifications within the Research Papers-track
PLDI 2022 Author of (OOPSLA 2020) Unifying Execution of Imperative Generators and Declarative Specifications within the SIGPLAN Track-track
SPLASH 2021 Committee Member in External Review Committee within the OOPSLA-track
Author of A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML) within the SIGPLAN Papers-track
ESEC/FSE 2021 Author of ACHyb: A Hybrid Analysis Approach to Detect Kernel Access Control Vulnerabilities within the Research Papers-track
Committee Member in Program Committee within the Research Papers-track
DeepTest 2021 Steering Committee Member in Steering Committee within the deeptest2021-track
SPLASH 2020 Author 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
ESEC/FSE 2020 Author of AlloyMC: Alloy Meets Model Counting within the Tool Demos-track
ICST 2020 Committee Member in Program Committee within the Research Papers-track
ASE 2020 Author 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 2020 Committee 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)
ICSE 2020 Author of Predictive Constraint Solving and Analysis within the New Ideas and Emerging Results-track
Program Board in Program Board within the Technical Papers-track
PLDI 2020 Author 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
ASE 2019 Committee Member in Steering Committee
Committee Member in Program Committee within the Research Papers-track
JPF 2019 Committee Member in Program Committee within the JPF 2019-track
ISSTA 2019 Author of ISSTA 2020 Preview within the Keynote-track
SPIN 2019 Author 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
ICSE 2019 Author 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
TACAS 2019 Author of Incremental Analysis of Evolving Alloy Models within the TACAS 2019-track
ESEC/FSE 2018 Author 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
JPF 2018 Author of A Progress Bar for the JPF Search Using Program Executions within the JPF-track
Committee Member in Program Committee within the JPF-track
ECOOP 2018 Author of Learning to Accelerate Symbolic Execution via Code Transformation within the ECOOP Research Papers-track
ECOOP and ISSTA 2018 Author of Learning to Accelerate Symbolic Execution via Code Transformation within the Posters-track
ISSTA 2018 Session 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
* 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
SPLASH 2017 Author of Bounded Exhaustive Test-Input Generation on GPUs within the OOPSLA-track
ISSTA 2017 Author of Boosting Spectrum-Based Fault Localization using PageRank within the Technical Papers-track
Committee Member in Program Committee
SPIN 2017 Committee Member in Program Committee
ECOOP 2016 Committee Member in External Review Committee within the Research Track-track
SPLASH 2015 Committee Member in External Review Committee within the OOPSLA-track
SPLASH 2014 Committee Member in Program Committee within the OOPSLA-track
Author of Bounded Exhaustive Test Input Generation from Hybrid Invariants within the OOPSLA-track
SPLASH 2013 Author of Injecting Mechanical Faults to Localize Developer Faults for Evolving Software within the OOPSLA-track
SPLASH 2012 Author of Scaling symbolic execution using ranged analysis within the OOPSLA Research Papers-track