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

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM Activities

• Author of HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics within the PLDI Research Papers-track in PLDI 2017
• Committee Member in Artifact Evaluation Committee for PLDI 2017
• Show activities from other conferences