Kaiyuan Wang - ETAPS 2019

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

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

2019

TACAS

Incremental Analysis of Evolving Alloy Models

Show activities from other conferences

ETAPS 2019-profile
View general profile