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


SPLASH 2018Author of METACO, a Type Checker Generator within the Posters-track
POPL 2018Presenter of Formal Models Underlying Blockchain Technology within the Student Research Competition-track
SPLASH 2017Author of Principles, patterns, and techniques for designing and implementing practical fluent interfaces in Java within the Student Research Competition-track