SPLASH 2017 (series) / Peng Wang
![Peng Wang](https://2017.splashcon.org/getProfileImage/pengwang/957ba226-2425-4909-b282-81fdbf8906aa/small.jpg?1711715970000)
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
SPLASH 2017-profile
View general profile
View general profile