Kaiyuan Wang -

Registered user since Tue 22 May 2018

Name:Kaiyuan Wang

Country:United States

Affiliation:Google

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

Research interests:Software Engineering, Machine Learning

Contributions

2022

AST

Committee Member in Program Committee within the AST 2022-track

2021

ESEC/FSE

Author of AlloyFL: A Fault Localization Framework for Alloy within the Demonstrations-track

ICSE

Author of Smart Build Targets Batching Service at Google within the SEIP - Software Engineering in Practice-track

2020

ISSTA

Author of Scalable Build Service System with Smart Scheduling Service within the Technical Papers-track

PLDI

Author of A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML) within the PLDI Research Papers-track

2019

SPIN

Author of A Study of Learning Data Structure Invariants Using Off-the-shelf Tools within the 26th International SPIN Symposium on Model Checking of Software-track