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 2018Presenter of Formal Models Underlying Blockchain Technology within the Student Research Competition-track
Show activities from other conferences

POPL 2018-profile
View general profile