Kaiyuan Wang

kaiyuanw@utexas.edu
kaiyuanw@google.com

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

Google Scholar
DBLP
LinkedIn
CV

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 and my unofficial co-adviser is Milos Gligoric. 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 cloud. My PhD dissertation can be found here.

Research

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.

News

Publications

ICST 2019 [17] Learning to Optimize the Alloy Analyzer
W. Wang, K. Wang, M. Zhang, S. Khurshid
ICSE 2019 Demo [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

Experience

09/2018-Present Software Engineer, Google, Sunnyvale, CA
05/2017-08/2017 Software Engineering Intern, Google, New York City, NY
05/2016-08/2016 Software Engineering Intern, Google, Mountain View, CA