Registered user since Wed 10 Jun 2015
Name:Jean Yang
Affiliation:Carnegie Mellon University
Personal website: http://jeanyang.com
Research interests:programming language design, software verification, security, privacy
Contributions
POPL 2017-profile
View general profile
View general profile