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