Haochen Xie

Registered user since Wed 18 Oct 2017

Name:Haochen Xie
Country:Japan
Affiliation:Nagoya University
Personal website:https://haochenxie.name
Research interests:Domain Specific Languages, Programming Languages, Formal Models in Information Systems, Machine Learning, Security

Contributions

POPL 2018 Formal Models Underlying Blockchain Technology
Show activities from other conferences

POPL 2018-profile
View general profile