SPLASH 2017 (series) / Peng Wang

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 | TiML: A Functional Language for Practical Complexity Analysis with Invariants | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2017-profile
View general profile
View general profile