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