Kaiyuan Wang -

Registered user since Sun 18 Dec 2016

Name:Kaiyuan Wang

Country:United States

Affiliation:Google, Inc.

Personal website:https://kaiyuanw.github.io/

Research interests:Software Engineering, Machine Learning

Contributions

SPLASH 2021	Author of A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML) within the SIGPLAN Papers-track
ASE 2019	Session Chair of AI and SE (part of Papers) Committee Member in Program Committee within the Research Papers-track
JPF 2018	Author of A Progress Bar for the JPF Search Using Program Executions within the JPF-track
TACAS 2019	Author of Incremental Analysis of Evolving Alloy Models within the TACAS 2019-track
ICSE 2019	Author of Symbolic Execution for Attribution and Attack Synthesis in Neural Networks within the Posters-track Author of ARepair: A Repair Framework for Alloy within the Demonstrations-track
ESEC/FSE 2018	Author of ASketch: A Sketching Framework for Alloy within the Demonstrations-track Author of SketchFix: A Tool for Automated Program Repair Approach Using Lazy Candidate Generation within the Demonstrations-track
ISSTA 2017	Committee Member in Artifact Evaluation Committee within the Artifacts-track
* ICSE 2018 *	Author of MuAlloy: A Mutation Testing Framework for Alloy within the DEMO - Demonstrations -track Author of Towards Refactoring-Aware Regression Test Selection within the Technical Papers -track Author of Towards Practical Program Repair with On-Demand Candidate Generation within the Technical Papers -track