conf.researchr.org / Shumo Chu
Registered user since Fri 20 Jan 2017
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.
Affiliation:University of Washington, USA
Research interests:Data Management, Programming Languages
|PLDI 2017|| Author of HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics within the PLDI Research Papers-track|
Committee Member in Artifact Evaluation Committee