
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
View general profile