Yuting Wang

Registered user since Mon 5 Nov 2018

Name: Yuting Wang

Affiliation: Yale University

Personal website: http://www.cs.yale.edu/homes/wang-yuting/

Contributions

DeepSpec 2019 Stack-Aware CompCert
Show activities from other conferences

PLDI 2019-profile
View general profile