Write a Blog >>
SPIN 2019
Mon 15 - Fri 19 July 2019 Beijing, China
co-located with ISSTA 2019
Kaiyuan Wang

Registered user since Tue 22 May 2018

Name: Kaiyuan Wang

Country: United States

Affiliation: Google Inc.

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

Research interests: Software Engineering, Machine Learning


SPIN 2019Author 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
Show activities from other conferences

ISSTA 2019-profile
View general profile