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

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