Haochen Xie

Registered user since Wed 18 Oct 2017

Name:Haochen Xie
Affiliation:Kotoi-Xie Consultancy, Inc.
Personal website:https://kxc.inc
Research interests:Domain Specific Languages, Programming Languages, Formal Models in Information Systems, Machine Learning, Security


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