Sarfraz Khurshid

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 92

Top Venues

CoRR

ICST

ESEC/SIGSOFT FSE

ACM SIGSOFT Softw. Eng. Notes

Massachusetts Institute of Technology, Cambridge, MA, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, MA, USA

PHD

Publications

Wenxi Wang, Yang Hu, Mohit Tiwari, Sarfraz Khurshid, Kenneth L. McMillan, Risto Miikkulainen
NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks. ICLR (2024)
Yang Hu, Wenxi Wang, Sarfraz Khurshid, Kenneth L. McMillan, Mohit Tiwari
Fixing Privilege Escalations in Cloud Access Control with MaxSAT and Graph Neural Networks. ASE (2023)
Ripon K. Saha, Akira Ura, Sonal Mahajan, Chenguang Zhu, Linyi Li, Yang Hu, Hiroaki Yoshida, Sarfraz Khurshid, Mukul R. Prasad
SAPIENTML: Synthesizing Machine Learning Pipelines by Learning from Human-Written Solutions. ICSE (2022)
Wenxi Wang, Yang Hu, Kenneth L. McMillan, Sarfraz Khurshid
SymMC: approximate model enumeration and counting using symmetry information for Alloy specifications. ESEC/SIGSOFT FSE (2022)
Ripon K. Saha, Akira Ura, Sonal Mahajan, Chenguang Zhu, Linyi Li, Yang Hu, Hiroaki Yoshida, Sarfraz Khurshid, Mukul R. Prasad
SapientML: Synthesizing Machine Learning Pipelines by Learning from Human-Written Solutions. CoRR (2022)
Marko Vasic, Andrija Petrovic, Kaiyuan Wang, Mladen Nikolic, Rishabh Singh, Sarfraz Khurshid
MoËT: Mixture of Expert Trees and its application to verifiable reinforcement learning. Neural Networks 151 (2022)
Wenxi Wang, Pu Yi, Sarfraz Khurshid, Darko Marinov
Initial Results on Counting Test Orders for Order-Dependent Flaky Tests Using Alloy. ICTSS (2021)
Shikhar Singh, Sarfraz Khurshid
Distributed Symbolic Execution using Test-Depth Partitioning. CoRR (2021)
Mengshi Zhang, Yaoxian Li, Xia Li, Lingchao Chen, Yuqun Zhang, Lingming Zhang, Sarfraz Khurshid
An Empirical Study of Boosting Spectrum-Based Fault Localization via PageRank. IEEE Trans. Software Eng. 47 (6) (2021)
Nima Dini, Razieh Nokhbeh Zaeem, Sarfraz Khurshid
Enhancing constraint-based repair of data structure errors that recur using memoization. SAC (2021)
Chenguang Zhu, Ripon K. Saha, Mukul R. Prasad, Sarfraz Khurshid
Restoring the Executability of Jupyter Notebooks by Automatic Upgrade of Deprecated APIs. ASE (2021)
Marko Vasic, Cameron T. Chalk, Austin Luchsinger, Sarfraz Khurshid, David Soloveichik
Programming and Training Rate-Independent Chemical Reaction Networks. CoRR (2021)
Yang Hu, Wenxi Wang, Casen Hunger, Riley Wood, Sarfraz Khurshid, Mohit Tiwari
ACHyb: a hybrid analysis approach to detect kernel access control vulnerabilities. ESEC/SIGSOFT FSE (2021)
Wenxi Wang, Yang Hu, Mohit Tiwari, Sarfraz Khurshid, Kenneth L. McMillan, Risto Miikkulainen
NeuroComb: Improving SAT Solving with Graph Neural Networks. CoRR (2021)
Shikhar Singh, Sarfraz Khurshid
Parallel Chopped Symbolic Execution. ICFEM (2020)
Alyas Almaawi, Nima Dini, Cagdas Yelen, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid
Predictive constraint solving and analysis. ICSE (NIER) (2020)
Shikhar Singh, Marko Vasic, Sarfraz Khurshid
Designing Neural Networks Using Logical Specs. ISSRE (2020)
Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Cagdas Yelen, Nima Dini, Sarfraz Khurshid
A study of learning likely data structure properties using machine learning models. Int. J. Softw. Tools Technol. Transf. 22 (5) (2020)
Cyrille Artho, Quoc-Sang Phan, Peter Aldous, Alyas Almaawi, Lucas Bang, Lasse Berglund, Tevfik Bultan, Zhenbang Chen, Hayes Converse, Wei Dong, William Eiers, Milos Gligoric, Simon Goldsmith, Lars Grunske, Joshua Hooker, Ismet Burak Kadron, Timo Kehrer, Sarfraz Khurshid, Xuan-Bach Dinh Le, David Lo, Eric Mercer, Sasa Misailovic, Egor Namakonov, Hoang Lam Nguyen, Yannic Noller, Benjamin Ogles, Rohan Padhye, Pavel Parízek, Corina S. Pasareanu, Sheridan Jacob Powell, Seemanta Saha, Koushik Sen, Elena Sherman, Kyle Storey, Minxing Tang, Willem Visser, Ji Wang, Hengbiao Yu
The Java Pathfinder Workshop 2019. ACM SIGSOFT Softw. Eng. Notes 45 (2) (2020)
Marko Vasic, Cameron T. Chalk, Sarfraz Khurshid, David Soloveichik
Deep Molecular Programming: A Natural Implementation of Binary-Weight ReLU Neural Networks. CoRR (2020)
Muhammad Usman, Wenxi Wang, Sarfraz Khurshid
TestMC: Testing Model Counters using Differential and Metamorphic Testing. ASE (2020)
Pengyu Nie, Marinela Parovic, Zhiqiang Zang, Sarfraz Khurshid, Aleksandar Milicevic, Milos Gligoric
Unifying execution of imperative generators and declarative specifications. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Marko Vasic, Cameron T. Chalk, Sarfraz Khurshid, David Soloveichik
Deep Molecular Programming: A Natural Implementation of Binary-Weight ReLU Neural Networks. ICML (2020)
Marko Vasic, David Soloveichik, Sarfraz Khurshid
CRNs Exposed: A Method for the Systematic Exploration of Chemical Reaction Networks. DNA (2020)
Marko Vasic, David Soloveichik, Sarfraz Khurshid
CRN++: Molecular programming language. Nat. Comput. 19 (2) (2020)
Wenxi Wang, Muhammad Usman, Alyas Almaawi, Kaiyuan Wang, Kuldeep S. Meel, Sarfraz Khurshid
A Study of Symmetry Breaking Predicates and Model Counting. TACAS (1) (2020)
Muhammad Usman, Wenxi Wang, Marko Vasic, Kaiyuan Wang, Haris Vikalo, Sarfraz Khurshid
A study of the learnability of relational properties: model counting meets machine learning (MCML). PLDI (2020)
Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid
Fault Localization for Declarative Models in Alloy. ISSRE (2020)
Jiayi Yang, Wenxi Wang, Darko Marinov, Sarfraz Khurshid
AlloyMC: Alloy meets model counting. ESEC/SIGSOFT FSE (2020)
Allison Sullivan, Darko Marinov, Sarfraz Khurshid
Solution Enumeration Abstraction: A Modeling Idiom to Enhance a Lightweight Formal Method. ICFEM (2019)
Divya Gopinath, Mengshi Zhang, Kaiyuan Wang, Ismet Burak Kadron, Corina S. Pasareanu, Sarfraz Khurshid
Symbolic Execution for Importance Analysis and Adversarial Generation in Neural Networks. ISSRE (2019)
Guowei Yang, Rui Qiu, Sarfraz Khurshid, Corina S. Pasareanu, Junye Wen
A synergistic approach to improving symbolic execution using test ranges. Innov. Syst. Softw. Eng. 15 (3-4) (2019)
Wenxi Wang, Kaiyuan Wang, Mengshi Zhang, Sarfraz Khurshid
Learning to Optimize the Alloy Analyzer. ICST (2019)
Kaiyuan Wang, Allison Sullivan, Sarfraz Khurshid
ARepair: a repair framework for alloy. ICSE (Companion Volume) (2019)
Hua Zhong, Lingming Zhang, Sarfraz Khurshid
TestSage: Regression Test Selection for Large-Scale Web Service Testing. ICST (2019)
Marko Vasic, David Soloveichik, Sarfraz Khurshid
CRNs Exposed: Systematic Exploration of Chemical Reaction Networks. CoRR (2019)
Shikhar Singh, Mengshi Zhang, Sarfraz Khurshid
Learning Guided Enumerative Synthesis for Superoptimization. SPIN (2019)
Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Marko Vasic, Haris Vikalo, Sarfraz Khurshid
A Study of the Learnability of Relational Properties (Model Counting Meets Machine Learning). CoRR (2019)
Pengyu Nie, Rishabh Rai, Junyi Jessy Li, Sarfraz Khurshid, Raymond J. Mooney, Milos Gligoric
A framework for writing trigger-action todo comments in executable format. ESEC/SIGSOFT FSE (2019)
Alyas Almaawi, Hayes Converse, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid
Quantifying the Exploration of the Korat Solver for Imperative Constraints. ACM SIGSOFT Softw. Eng. Notes 44 (4) (2019)
Divya Gopinath, Corina S. Pasareanu, Kaiyuan Wang, Mengshi Zhang, Sarfraz Khurshid
Symbolic execution for attribution and attack synthesis in neural networks. ICSE (Companion Volume) (2019)
Nima Dini, Cagdas Yelen, Milos Gligoric, Sarfraz Khurshid
Extension-Aware Automated Testing Based on Imperative Predicates. ICST (2019)
Jinru Hua, Yushan Zhang, Yuqun Zhang, Sarfraz Khurshid
EdSketch: execution-driven sketching for Java. Int. J. Softw. Tools Technol. Transf. 21 (3) (2019)
Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Cagdas Yelen, Nima Dini, Sarfraz Khurshid
A Study of Learning Data Structure Invariants Using Off-the-shelf Tools. SPIN (2019)
Marko Vasic, Andrija Petrovic, Kaiyuan Wang, Mladen Nikolic, Rishabh Singh, Sarfraz Khurshid
MoËT: Interpretable and Verifiable Reinforcement Learning via Mixture of Expert Trees. CoRR (2019)
Wenxi Wang, Kaiyuan Wang, Milos Gligoric, Sarfraz Khurshid
Incremental Analysis of Evolving Alloy Models. TACAS (1) (2019)
Junjie Chen, Wenxiang Hu, Lingming Zhang, Dan Hao, Sarfraz Khurshid, Lu Zhang
Learning to Accelerate Symbolic Execution via Code Transformation. ECOOP (2018)
Marko Vasic, David Soloveichik, Sarfraz Khurshid
CRN++: Molecular Programming Language. CoRR (2018)
Marko Vasic, David Soloveichik, Sarfraz Khurshid
: Molecular Programming Language. DNA (2018)
Nima Dini, Cagdas Yelen, Zakaria Alrmaih, Amresh Kulkarni, Sarfraz Khurshid
Korat-API: a framework to enhance korat to better support testing and reliability techniques. SAC (2018)
Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser
Test input generation with Java PathFinder: then and now (invited talk abstract). ISSTA (2018)
Kaiyuan Wang, Allison Sullivan, Sarfraz Khurshid
MuAlloy: a mutation testing framework for alloy. ICSE (Companion Volume) (2018)
Pengyu Nie, Rishabh Rai, Junyi Jessy Li, Sarfraz Khurshid, Raymond J. Mooney, Milos Gligoric
Executable Trigger-Action Comments. CoRR (2018)
Jinru Hua, Mengshi Zhang, Kaiyuan Wang, Sarfraz Khurshid
SketchFix: a tool for automated program repair approach using lazy candidate generation. ESEC/SIGSOFT FSE (2018)
Mengshi Zhang, Yuqun Zhang, Lingming Zhang, Cong Liu, Sarfraz Khurshid
DeepRoad: GAN-based Metamorphic Autonomous Driving System Testing. CoRR (2018)
Allison Sullivan, Kaiyuan Wang, Sarfraz Khurshid
AUnit: A Test Automation Tool for Alloy. ICST (2018)
Pengyu Nie, Junyi Jessy Li, Sarfraz Khurshid, Raymond J. Mooney, Milos Gligoric
Natural Language Processing and Program Analysis for Supporting Todo Comments as Software Evolves. AAAI Workshops (2018)
Kaiyuan Wang, Allison Sullivan, Sarfraz Khurshid
Automated model repair for Alloy. ASE (2018)
Ben Mehne, Hiroaki Yoshida, Mukul R. Prasad, Koushik Sen, Divya Gopinath, Sarfraz Khurshid
Accelerating Search-Based Program Repair. ICST (2018)
Kaiyuan Wang, Hayes Converse, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid
A Progress Bar for the JPF Search Using Program Executions. ACM SIGSOFT Softw. Eng. Notes 43 (4) (2018)
Jinru Hua, Mengshi Zhang, Kaiyuan Wang, Sarfraz Khurshid
Towards practical program repair with on-demand candidate generation. ICSE (2018)
Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid
ASketch: a sketching framework for Alloy. ESEC/SIGSOFT FSE (2018)
Claire Le Goues, Yuriy Brun, Sven Apel, Emery D. Berger, Sarfraz Khurshid, Yannis Smaragdakis
Effectiveness of anonymization in double-blind review. Commun. ACM 61 (6) (2018)
Kaiyuan Wang, Allison Sullivan, Manos Koukoutos, Darko Marinov, Sarfraz Khurshid
Systematic Generation of Non-equivalent Expressions for Relational Algebra. ABZ (2018)
Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid
Solver-Based Sketching of Alloy Models Using Test Valuations. ABZ (2018)
Divya Gopinath, Kaiyuan Wang, Mengshi Zhang, Corina S. Pasareanu, Sarfraz Khurshid
Symbolic Execution for Deep Neural Networks. CoRR (2018)
Zijiang Yang, Jinru Hua, Kaiyuan Wang, Sarfraz Khurshid
EdSynth: Synthesizing API Sequences with Conditionals and Loops. ICST (2018)
Mengshi Zhang, Yuqun Zhang, Lingming Zhang, Cong Liu, Sarfraz Khurshid
DeepRoad: GAN-based metamorphic testing and input validation framework for autonomous driving systems. ASE (2018)
Farah Hariri, August Shi, Owolabi Legunsen, Milos Gligoric, Sarfraz Khurshid, Sasa Misailovic
Approximate Transformations as Mutation Operators. ICST (2018)
Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid
Fault Localization for Declarative Models in Alloy. CoRR (2018)
Rui Qiu, Sarfraz Khurshid, Corina S. Pasareanu, Junye Wen, Guowei Yang
Using Test Ranges to Improve Symbolic Execution. NFM (2018)
Sarfraz Khurshid, Darko Marinov
Reducing Combinatorial Testing Requirements Based on Equivalences with Respect to the Code Under Test. SQAMIA (2018)
Nima Dini, Cagdas Yelen, Sarfraz Khurshid
Optimizing parallel Korat using invalid ranges. SPIN (2017)
Rui Qiu, Sarfraz Khurshid, Corina S. Pasareanu, Guowei Yang
A synergistic approach for distributed symbolic execution using test ranges. ICSE (Companion Volume) (2017)
Kaiyuan Wang, Sarfraz Khurshid, Milos Gligoric
JPR: Replaying JPF Traces Using Standard JVM. ACM SIGSOFT Softw. Eng. Notes 42 (4) (2017)
Allison Sullivan, Kaiyuan Wang, Razieh Nokhbeh Zaeem, Sarfraz Khurshid
Automated Test Generation and Mutation Testing for Alloy. ICST (2017)
Hayes Converse, Oswaldo Olivo, Sarfraz Khurshid
Non-Semantics-Preserving Transformations for Higher-Coverage Test Generation Using Symbolic Execution. ICST (2017)
Mengshi Zhang, Xia Li, Lingming Zhang, Sarfraz Khurshid
Boosting spectrum-based fault localization using PageRank. ISSTA (2017)
Milos Gligoric, Sarfraz Khurshid, Sasa Misailovic, August Shi
Mutation Testing Meets Approximate Computing. ICSE-NIER (2017)
Claire Le Goues, Yuriy Brun, Sven Apel, Emery D. Berger, Sarfraz Khurshid, Yannis Smaragdakis
Effectiveness of Anonymization in Double-Blind Review. CoRR (2017)
Ahmet Çelik, Sreepathi Pai, Sarfraz Khurshid, Milos Gligoric
Bounded exhaustive test-input generation on GPUs. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Allison Sullivan, Kaiyuan Wang, Sarfraz Khurshid, Darko Marinov
Evaluating State Modeling Techniques in Alloy. SQAMIA (2017)
Jinru Hua, Sarfraz Khurshid
EdSketch: execution-driven sketching for Java. SPIN (2017)
Xi Zheng, Christine Julien, Miryung Kim, Sarfraz Khurshid
Perceptions on the State of the Art in Verification and Validation in Cyber-Physical Systems. IEEE Syst. J. 11 (4) (2017)
Alex Gyori, Ben Lambeth, Sarfraz Khurshid, Darko Marinov
Exploring Underdetermined Specifications using Java PathFinder. ACM SIGSOFT Softw. Eng. Notes 41 (6) (2016)
Sarvesh Nagarajan, Nastaran Shafiei, Sarfraz Khurshid
Towards Exhaustive Testing of Websites using JPF. ACM SIGSOFT Softw. Eng. Notes 41 (6) (2016)
Divya Gopinath, Kaiyuan Wang, Jinru Hua, Sarfraz Khurshid
Repairing Intricate Faults in Code Using Machine Learning and Path Exploration. ICSME (2016)
Jinru Hua, Sarfraz Khurshid
A Sketching-Based Approach for Debugging Using Test Cases. ATVA (2016)
Hua Zhong, Lingming Zhang, Sarfraz Khurshid
The comKorat Tool: Unified Combinatorial and Constraint-Based Generation of Structurally Complex Tests. NFM (2016)
Rui Qiu, Corina S. Pasareanu, Sarfraz Khurshid
Certified Symbolic Execution. ATVA (2016)
Farah Hariri, August Shi, Hayes Converse, Sarfraz Khurshid, Darko Marinov
Evaluating the Effects of Compiler Optimizations on Mutation Testing at the Compiler IR Level. ISSRE (2016)
Hua Zhong, Lingming Zhang, Sarfraz Khurshid
Combinatorial generation of structurally complex test inputs for commercial software applications. SIGSOFT FSE (2016)
Rui Qiu, Guowei Yang, Corina S. Pasareanu, Sarfraz Khurshid
Compositional Symbolic Execution with Memoized Replay. ICSE (1) (2015)
Sabrina Souto, Divya Gopinath, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid, Don S. Batory
Faster bug detection for software product lines with incomplete feature models. SPLC (2015)
Ripon K. Saha, Julia Lawall, Sarfraz Khurshid, Dewayne E. Perry
Are These Bugs Really "Normal"? MSR (2015)
Ripon K. Saha, Sarfraz Khurshid, Dewayne E. Perry
Understanding the triaging and fixing processes of long lived bugs. Inf. Softw. Technol. 65 (2015)
Shiyu Dong, Oswaldo Olivo, Lingming Zhang, Sarfraz Khurshid
Studying the influence of standard compiler optimizations on symbolic execution. ISSRE (2015)
Ripon K. Saha, Lingming Zhang, Sarfraz Khurshid, Dewayne E. Perry
An Information Retrieval Approach for Regression Test Prioritization Based on Program Changes. ICSE (1) (2015)
Lingming Zhang, Guowei Yang, Neha Rungta, Suzette Person, Sarfraz Khurshid
Feedback-driven dynamic invariant discovery. ISSTA (2014)
Divya Gopinath, Sarfraz Khurshid, Diptikalyan Saha, Satish Chandra
Data-guided repair of selection statements. ICSE (2014)

Sarfraz Khurshid.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sarfraz Khurshid