Registered user since Fri 20 Jan 2017
Name: Shumo Chu
Bio: Shumo is a 4th year PhD student at Computer Science & Engineering, University of Washington. He interests in applying formal methods to data management and building data systems in a principled way.
Country: China
Affiliation: University of Washington, USA
Personal website: http://shumochu.com/
Research interests: Data Management, Programming Languages
Contributions
| PLDI 2017 | HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics Committee Member in Artifact Evaluation Committee | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile
View general profile