Kaiyuan Wang


Department of Electrical and Computer Engineering
The University of Texas at Austin
Currently at Google

Google Scholar

I obtained my PhD in the Software Verification, Validation and Testing (SVVAT) group at the University of Texas at Austin. My adviser is Sarfraz Khurshid. I obtained my M.S. degree in software engineering at UT Austin in 2015 and my B.S. degree in computer science at Beijing Univeristy of Technology in 2013. I am currently working at Google Core Systems. My PhD dissertation can be found here.


My research interests lie in the field of software engineering. I have worked on a number of projects related to program synthesis, fault localization, automated program repair, regression test selection, model checking, mutation testing, automated test generation and symbolic execution. Overall, I am passionate about challenges and enjoy learning new technologies.

Recently, I am interested in combining machine learning techniques with my software engineering research.



NeurIPS 2023 [29] Symbolic Discovery of Optimization Algorithms
X. Chen, C. Liang, D. Huang, E. Real, K. Wang, H. Pham, X. Dong, T. Luong, C. Hsieh, Y. Lu, Q. Le
Neural Networks Journal 2022 [28] MoET: Mixture of Expert Trees and its Application to Verifiable Reinforcement Learning
M. Vasic, A. Petrovic, K. Wang, M. Nikolic, R. Singh, S. Khurshid
FSE Demo 2021 [27] AlloyFL: A Fault Localization Framework for Alloy
T.A. Khan, A. Sullivan, K. Wang
ICSE SEIP 2021 [26] Smart Build Targets Batching Service at Google
K. Wang, D. Rall, G. Tener, V. Gullapalli, X. Huang, A. Gad
ISSRE 2020 [25] Fault Localization for Declarative Models in Alloy
K. Wang, A. Sullivan, D. Marinov, S. Khurshid
ISSTA 2020 [24] Scalable Build Service System with Smart Scheduling Service
K. Wang, G. Tener, V. Gullapalli, X. Huang, A. Gad, D. Rall
PLDI 2020 [23] A Study of the Learnability of Relational Properties
M. Usman, W. Wang, M. Vasic, K. Wang, H. Vikalo, S. Khurshid
TACAS 2020 [22] A Study of Symmetry Breaking Predicates and Model Counting
W. Wang, M. Usman, A. Almaawi, K. Wang, K. S. Meel and S. Khurshid
ISSRE 2019 [21] Symbolic Execution for Importance analysis and Adversarial generation in Neural Networks
D. Gopinath, M. Zhang, K. Wang, B. Kadron, C. Pasareanu and S. Khurshid
SPIN 2019 [20] A Study of Learning Data Structure Invariants Using Off-the-shelf Tools
M. Usman, W. Wang, K. Wang, C. Yelen, N. Dini, S. Khurshid
TACAS 2019 [19] Incremental Analysis of Evolving Alloy Models
W. Wang, K. Wang, M. Gligoric, S. Khurshid
ICST 2019 [18] Learning to Optimize the Alloy Analyzer
W. Wang, K. Wang, M. Zhang, S. Khurshid
ICSE Poster 2019 [17] Symbolic Execution for Attribution and Attack Synthesis in Neural Networks
C. Pasareanu, D. Gopinath, S. Khurshid, K. Wang, M. Zhang
ICSE Demo 2019 [16] ARepair: A Repair Framework for Alloy
K. Wang, A. Sullivan, S. Khurshid
JPF 2018 [15] A Progress Bar for the JPF Search Using Program Executions
K. Wang, H. Converse, M. Gligoric, S. Misailovic, S. Khurshid
ASE 2018 [14] Automated Model Repair for Alloy
K. Wang, A. Sullivan, S. Khurshid
FSE Demo 2018 [13] ASketch: A Sketching Framework for Alloy
K. Wang, A. Sullivan, D. Marinov, S. Khurshid
FSE Demo 2018 [12] SketchFix: A Tool for Automated Program Repair Approach Using Lazy Candidate Generation
J. Hua, M. Zhang, K. Wang, S. Khurshid
ABZ 2018 [11] Solver-based Sketching of Alloy Models using Test Valuations
K. Wang, A. Sullivan, D. Marinov, S. Khurshid
ABZ 2018 [10] Systematic Generation of Non-Equivalent Expressions for Relational Algebra
K. Wang, A. Sullivan, M. Koukoutos, D. Marinov, S. Khurshid
ICSE 2018 [9] Towards Refactoring-Aware Regression Test Selection
K. Wang, C. Zhu, A. Celik, J. Kim, D. Batory, M. Gligoric
ICSE 2018 [8] Towards Practical Program Repair with On-Demand Candidate Generation
J. Hua, M. Zhang, K. Wang, S. Khurshid
ICSE Demo 2018 [7] MuAlloy: A Mutation Testing Framework for Alloy
K. Wang, A. Sullivan, S. Khurshid
ICST 2018 [6] EdSynth: Synthesizing API Sequences with Conditionals and Loops
Z. Yang, J. Hua, K. Wang, S. Khurshid
ICST Demo 2018 [5] AUnit: A Test Automation Tool for Alloy
A. Sullivan, K. Wang, S. Khurshid
ICST 2017 [4] Automated Test Generation and Mutation Testing for Alloy
A. Sullivan, K. Wang, R.N. Zaeem, S. Khurshid
JPF 2017 [3] JPR: Replaying JPF Traces Using Standard JVM
K. Wang, S. Khurshid, M. Gligoric
SQAMIA 2017 [2] Evaluating State Modeling Techniques in Alloy
A. Sullivan, K. Wang, S. Khurshid, D. Marinov
ICSME 2016 [1] Repairing Intricate Faults in Code Using Machine Learning and Path Exploration
D. Gopinath, K. Wang, J. Hua, S. Khurshid


AST 2022 Program Committee
ASE 2019 Research Track Program Committee
ISSTA 2017 Artifact Evaluation Committee


09/2018-Present Staff Software Engineer, Google, Mountain View, CA