Kaiyuan Wang -

Registered user since Tue 22 May 2018

Name: Kaiyuan Wang

Affiliation: Google, USA

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

Research interests: Software Engineering, Machine Learning

Contributions

ISSTA 2020	Author of Scalable Build Service System with Smart Scheduling Service within the Technical Papers-track
PLDI 2020	Author of A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML) within the PLDI Research Papers-track
ICSE 2021	Author of Smart Build Targets Batching Service at Google within the SEIP - Software Engineering in Practice-track
SPIN 2019	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