Shumo Chu

Email: first dot last at pm dot me
Twitter: @shumochu

Biography

I am founder of Nebra. We are building the next generation privacy preserving blockchain system, please consider joining us (direct message me at firstname dot last name at pm dot me)!

I graudated as a PhD from University of Washington Computer Science and Engineering, where I was advised by the great Dan Suciu. I obtained my bachelor degree from Wuhan University, China.

Teaching

Publications

Decentralized/Trustless Systems

Practical Post-Quantum Few-Time Verifiable Random Function with Applications to Algorand.
Muhammed F. Esgin, Veronika Kuchta, Amin Sakzad, Ron Steinfeld, Zhenfei Zhang, Shifeng Sun, Shumo Chu.
Financial Crypto 2021.  
The Curses of Blockchain Decentralization
Shumo Chu, Sophia Wang.
arXiv preprint.  

Automated Reasoning of Database Queries

Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries
Shumo Chu, Brendan Murphy, Jared Roesch, Alvin Cheung, Dan Suciu.
VLDB 2018.  
Demonstration of the Cosette Automated SQL Prover
Shumo Chu, Daniel Li, Chenglong Wang, Alvin Cheung, Dan Suciu.
SIGMOD 2017 (Demo Track).  
Best Demo Award
HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics
Shumo Chu, Konstantin Weitz, Alvin Cheung, Dan Suciu.
PLDI 2017.  
Cosette: An Automated SQL Solver
Shumo Chu, Chenglong Wang, Konstantin Weitz, Alvin Cheung.
CIDR 2017.  

Query Processing in Parallel Database Systems

From Theory to Practice: Efficient Join Query Evaluation in a Parallel Database System
Shumo Chu, Magdalena Balazinska, Dan Suciu.
SIGMOD 2015.  
Demonstration of the Myria Big Data Management Service
The Myria Team.
SIGMOD 2014 (Demo).  

I/O-Efficient and Parallel Graph Algorithms

Triangle Listing in Massive Networks
Shumo Chu, James Cheng.
ACM TKDD, 2012.  
Best of KDD 2011 Special Issue
Fast Algorithms for Maximal Clique Enumeration with Limited Memory
James Cheng, Linhong Zhu, Yiping Ke, Shumo Chu.
KDD 2012.  
Efficient Processing of Distance Queries in Large Graphs: A Vertex Cover Approach
James Cheng, Yiping Ke, Shumo Chu, Carter Cheng.
SIGMOD 2012.  
Triangle Listing in Massive Networks and Its Applications
Shumo Chu, James Cheng.
KDD 2011.  
Best of KDD 2011
Efficient Core Decomposition in Massive Networks
James Cheng, Yiping Ke, Shumo Chu, M. Tamer Özsu.
ICDE 2011.  

A Collection of Advices and Software