Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Sarfraz Khurshid
conf.researchr.org general profile
* ICSE 2018 * profile
ASE 2019 profile
ASE 2020 profile
ECOOP 2016 profile
ECOOP and ISSTA 2018 profile
ESEC/FSE 2018 profile
ESEC/FSE 2020 profile
ESEC/FSE 2021 profile
ESEC/FSE 2022 profile
ETAPS 2019 profile
ICSE 2019 profile
ICSE 2020 profile
ICSE 2021 profile
ICST 2020 profile
ISSTA 2017 profile
ISSTA 2019 profile
ISSTA 2020 profile
PLDI 2020 profile
PLDI 2021 profile
PLDI 2022 profile
SPLASH 2012 profile
SPLASH 2013 profile
SPLASH 2014 profile
SPLASH 2015 profile
SPLASH 2017 profile
SPLASH 2020 profile
SPLASH 2021 profile
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
Share
x
Mon 29 May 21:06