Faculty

Institution

Unit

Venue

Sarfraz Khurshid

Professor

University of Texas at Austin

Affiliations

Cockrell School of Engineering

Chandra Family Department of Electrical and Computer Engineering

Sarfraz Khurshid is currently serving as a Chandra Electrical And Computer Engineering Professor at University of Texas At Austin.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Sarfraz Khurshid

University of Texas at Austin

Professor

You can click a keyword to filter the displayed items

computer science software testing software engineering software analysis formal methods program analysis machine learning systems engineering symbolic execution computer engineering formal verification programming languages automated reasoning verification data science software maintenance logic in computer science artificial intelligence computational testing test data generation test automation static program analysis source code analysis testing technique computational intelligence test evolution model checking runtime verification automated deduction mutation-based testing design automation automated software engineering combinatorial testing workflow model-based testing mutation testing system software knowledge discovery sat solving program checking static checking java pathfinder data security machine learning research test oracle debugger regression testing formal specification error correction java programs empirical study test input generation systematic testing alloy analyzer model counting information technology knowledge-based systems software product line compiler technology optimizing compilers deep neural networks test generation declarative models lightweight formal method declarative specifications image representation system safety convolutional neural networks synthetic image generation generative adversarial networks adversarial machine learning security testing method change impact analysis software mining automated testing bug localization sbfl techniques quality engineering software verification

Notable Scholarly Works

Notable Federal Grants

Collaborators

Fixing Privilege Escalations in Cloud Access Control With Maxsat and Graph Neural Networks. 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) (2023)

Yang HuWenxi WangSarfraz KhurshidKenneth L. McMillanMohit Tiwari

systems engineeringcomputer securitycloud access controlprivilege escalationsdata securityinformation security

Initial Results on Counting Test Orders for Order-Dependent Flaky Tests Using Alloy. Lecture notes in computer science (2022)

Wenxi WangPu YiSarfraz KhurshidDarko Marinov

counting test orderstesting techniquesoftware testinginitial resultstest derivationstatisticscombinatorial testing workflowstatistical hypothesis testexperimental testingmechanical testing

MOËT: Mixture of Expert Trees and Its Application to Verifiable Reinforcement Learning. Neural Networks (2022)

Marko VasićAndrija PetrovićKaiyuan WangMladen NikolićRishabh SinghSarfraz Khurshid

machine learningverifiable reinforcement learningreinforcement learningcomputer scienceexpert trees

Programming and Training Rate-Independent Chemical Reaction Networks. Proceedings of the National Academy of Sciences (2022)

Marko VasićCameron ChalkAustin LuchsingerSarfraz KhurshidDavid Soloveichik

materials sciencecomputer sciencecomputational chemistryengineering

Sapientml. Proceedings of the 44th International Conference on Software Engineering (2022)

Ripon K. SahaAkira UraSonal MahajanChenguang ZhuLinyi LiYang HuHiroaki YoshidaSarfraz KhurshidMukul R. Prasad

SYMMC: Approximate Model Enumeration and Counting Using Symmetry Information for Alloy Specifications. Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (2022)

Wenxi WangYang HuKenneth L. McMillanSarfraz Khurshid

materials sciencemechanical engineeringsoftware engineeringsymmetry informationapplied mathematicsalloy specificationsapproximate model enumeration

ACHYB: A Hybrid Analysis Approach to Detect Kernel Access Control Vulnerabilities. (2021)

Yang HuWenxi WangCasen HungerRiley WoodSarfraz KhurshidMohit Tiwari

operating system securityaccess controlroot causeshybrid analysis approachsoftware securitysecurity evaluationsystem softwaresystem safetycomputer engineeringoperating systemsdata securitysecurity testing methodsystems engineeringsoftware analysisinformation forensicscomputer securityprogram analysisinformation securitycomputer science

Distributed Symbolic Execution Using Test-Depth Partitioning. arXiv (Cornell University) (2021)

Shikhar SinghSarfraz Khurshid

machine learningsymbolic executiondistributed computingformal methodstest-depth partitioningdistributed processingcomputer science

Enhancing Constraint-Based Repair of Data Structure Errors That Recur Using Memoization. (2021)

Nima DiniRazieh Nokhbeh ZaeemSarfraz Khurshid

systems engineeringdata structure errorserror correctionconstraint-based repairmachine learning

Improving Sat Solving With Graph Neural Networks. (2021)

Wenxi WangYang HuMohit TiwariSarfraz KhurshidKenneth McMillanRisto Miikkulainen

machine learningartificial intelligencesat solvinginformation technologyinformation technology managementcomputer science

1
2
3
4
5
23
10 / page

Sarfraz Khurshid

Professor

University of Texas at Austin

Affiliations

Cockrell School of Engineering

Chandra Family Department of Electrical and Computer Engineering

Sarfraz Khurshid is currently serving as a Chandra Electrical And Computer Engineering Professor at University of Texas At Austin.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Sarfraz Khurshid

University of Texas at Austin

Professor

You can click a keyword to filter the displayed items

Notable Scholarly Works

Notable Federal Grants

Collaborators

Fixing Privilege Escalations in Cloud Access Control With Maxsat and Graph Neural Networks. 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) (2023)

Yang HuWenxi WangSarfraz KhurshidKenneth L. McMillanMohit Tiwari

systems engineeringcomputer securitycloud access controlprivilege escalationsdata securityinformation security

Initial Results on Counting Test Orders for Order-Dependent Flaky Tests Using Alloy. Lecture notes in computer science (2022)

Wenxi WangPu YiSarfraz KhurshidDarko Marinov

counting test orderstesting techniquesoftware testinginitial resultstest derivationstatisticscombinatorial testing workflowstatistical hypothesis testexperimental testingmechanical testing

MOËT: Mixture of Expert Trees and Its Application to Verifiable Reinforcement Learning. Neural Networks (2022)

Marko VasićAndrija PetrovićKaiyuan WangMladen NikolićRishabh SinghSarfraz Khurshid

machine learningverifiable reinforcement learningreinforcement learningcomputer scienceexpert trees

Programming and Training Rate-Independent Chemical Reaction Networks. Proceedings of the National Academy of Sciences (2022)

Marko VasićCameron ChalkAustin LuchsingerSarfraz KhurshidDavid Soloveichik

materials sciencecomputer sciencecomputational chemistryengineering

Sapientml. Proceedings of the 44th International Conference on Software Engineering (2022)

Ripon K. SahaAkira UraSonal MahajanChenguang ZhuLinyi LiYang HuHiroaki YoshidaSarfraz KhurshidMukul R. Prasad

Wenxi WangYang HuKenneth L. McMillanSarfraz Khurshid

materials sciencemechanical engineeringsoftware engineeringsymmetry informationapplied mathematicsalloy specificationsapproximate model enumeration

ACHYB: A Hybrid Analysis Approach to Detect Kernel Access Control Vulnerabilities. (2021)

Yang HuWenxi WangCasen HungerRiley WoodSarfraz KhurshidMohit Tiwari

Distributed Symbolic Execution Using Test-Depth Partitioning. arXiv (Cornell University) (2021)

Shikhar SinghSarfraz Khurshid

machine learningsymbolic executiondistributed computingformal methodstest-depth partitioningdistributed processingcomputer science

Enhancing Constraint-Based Repair of Data Structure Errors That Recur Using Memoization. (2021)

Nima DiniRazieh Nokhbeh ZaeemSarfraz Khurshid

systems engineeringdata structure errorserror correctionconstraint-based repairmachine learning

Improving Sat Solving With Graph Neural Networks. (2021)

Wenxi WangYang HuMohit TiwariSarfraz KhurshidKenneth McMillanRisto Miikkulainen

machine learningartificial intelligencesat solvinginformation technologyinformation technology managementcomputer science

1
2
3
4
5
23
10 / page

Similar Faculty Members

Gabor Karsai

Institution

Vanderbilt University

programming tools

visual programming environments

Lingming Zhang

Institution

University of Illinois Urbana-Champaign

quality engineering

automated software engineering

Milos Gligoric

Institution

University of Texas at Austin

quality technology

software engineering

Matthew Dwyer

Institution

University of Virginia

computer science

software analysis

Koushik Sen

Institution

University of California, Berkeley

computer science

software testing

Oleg Sokolsky

Institution

University of Pennsylvania

source code

formal modeling

Darko Marinov

Institution

University of Illinois Urbana-Champaign

system specification

software engineering

Sebastian Elbaum

Institution

University of Virginia

computer science

software engineering

Ozgur Sinanoglu

Institution

New York University

cryptographic hardware

hardware verification language

Janos Sztipanovits

Institution

Vanderbilt University

design automation

cyber-physical systems

Similar Faculty Members

Gabor Karsai

Institution

Vanderbilt University

programming tools

visual programming environments

Lingming Zhang

Institution

University of Illinois Urbana-Champaign

quality engineering

automated software engineering

Milos Gligoric

Institution

University of Texas at Austin

quality technology

software engineering

Matthew Dwyer

Institution

University of Virginia

computer science

software analysis

Koushik Sen

Institution

University of California, Berkeley

computer science

software testing

Oleg Sokolsky

Institution

University of Pennsylvania

source code

formal modeling

Darko Marinov

Institution

University of Illinois Urbana-Champaign

system specification

software engineering

Sebastian Elbaum

Institution

University of Virginia

computer science

software engineering

Ozgur Sinanoglu

Institution

New York University

cryptographic hardware

hardware verification language

Janos Sztipanovits

Institution

Vanderbilt University

design automation

cyber-physical systems