Registered user since Mon 8 Jul 2019

Name: Yuyang Sang

Affiliation: Yale University

Contributions

SPLASH 2019Author of DS: A Language for Certified System Software within the OOPSLA-track