Sotabase

Career

· Researcher, Columbia University

Publications (3)

Verified peephole optimizations for CompCert
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2016
49
cited
TileCode: Creation of Video Games on Gaming Handhelds
ACM Symposium on User Interface Software and Technology · 2020
5
cited
Web-based Programming for Low-cost Gaming Handhelds
International Conference on Foundations of Digital Games · 2021
2
cited
Sotabase