Write a Blog >>
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 2017Author of HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics within the PLDI Research Papers-track
Committee Member in Artifact Evaluation Committee
Show activities from other conferences

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile