Shumo Chu

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


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.



Decentralized/Trustless Systems

Practical Post-Quantum Few-Time Verifiable Random Function with Applications to Algorand.
The Curses of Blockchain Decentralization

Automated Reasoning of Database Queries

Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries
Demonstration of the Cosette Automated SQL Prover
HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics
Cosette: An Automated SQL Solver

Query Processing in Parallel Database Systems

From Theory to Practice: Efficient Join Query Evaluation in a Parallel Database System
Demonstration of the Myria Big Data Management Service

I/O-Efficient and Parallel Graph Algorithms

Triangle Listing in Massive Networks
Fast Algorithms for Maximal Clique Enumeration with Limited Memory
Efficient Processing of Distance Queries in Large Graphs: A Vertex Cover Approach
Triangle Listing in Massive Networks and Its Applications
Efficient Core Decomposition in Massive Networks

A Collection of Advices and Software