Shumo Chu

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 Author of HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics within the PLDI Research Papers-track
Committee Member in Artifact Evaluation Committee