
Registered user since Wed 13 Aug 2014
Name:Peng Wang
Affiliation:Massachusetts Institute of Technology, USA
Personal website:https://people.csail.mit.edu/wangpeng/
Research interests:Programming Languages, Software Verification
Contributions
ICFP 2017 | Verified Low-Level Programming Embedded in F* | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2017-profile
View general profile
View general profile