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

All Activities

• Author of TiML: A Functional Language for Practical Complexity Analysis with Invariants within the OOPSLA-track in SPLASH 2017
• Author of Verified Low-Level Programming Embedded in F* within the Research Papers-track in ICFP 2017
• Committee Member in Artifact Evaluation Committee for POPL 2017 Artifact Evaluation
• Presenter of Compiler Verification Meets Cross-Language Linking via Data Abstraction within the OOPSLA Artifacts-track in SPLASH 2014
• Author of Compiler Verification Meets Cross-Language Linking via Data Abstraction within the OOPSLA-track in SPLASH 2014