Peng Wang - ICFP 2017

Sun 3 - Sat 9 September 2017 Oxford, United Kingdom

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

2017

ICFP

Verified Low-Level Programming Embedded in F*

Show activities from other conferences

ICFP 2017-profile
View general profile