conf.researchr.org / Sarfraz Khurshid
Registered user since Thu 5 Apr 2018
Name:Sarfraz Khurshid
Country:United States
Affiliation:University of Texas at Austin
Contributions
2025
2024
2022
2021
SPLASH
ESEC/FSE
2020
SPLASH
ASE
ISSTA
ICSE
2019
ASE
SPIN
- 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