Efficient core decomposition in massive networks. - James Cheng; Yiping Ke; Shumo Chu; M. Tamer Özsu (ICDE, 2011)

Triangle listing in massive networks and its applications. - Shumo Chu; James Cheng (KDD, 2011)

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 Conference, 2012)

IS-LABEL: an Independent-Set based Labeling Scheme for Point-to-Point Distance Querying on Large Graphs - Ada Wai-Chee Fu; Huanhuan Wu; James Cheng; Shumo Chu; Raymond Chi-Wing Wong (CoRR, 2012)

Triangle listing in massive networks. - Shumo Chu; James Cheng (ACM Trans. Knowl. Discov. Data, 2012)

Demonstration of the Myria big data management service. - Daniel Halperin; Victor Teixeira de Almeida; Lee Lee Choo; Shumo Chu; Paraschos Koutris; Dominik Moritz; Jennifer Ortiz; Vaspol Ruamviboonsuk; Jingjing Wang 008; Andrew Whitaker; Shengliang Xu; Magdalena Balazinska; et al. (SIGMOD Conference, 2014)

From Theory to Practice: Efficient Join Query Evaluation in a Parallel Database System. - Shumo Chu; Magdalena Balazinska; Dan Suciu (SIGMOD Conference, 2015)

Cosette: An Automated Prover for SQL. - Shumo Chu; Chenglong Wang; Konstantin Weitz; Alvin Cheung (CIDR, 2017)

HoTTSQL: proving query rewrites with univalent SQL semantics. - Shumo Chu; Konstantin Weitz; Alvin Cheung; Dan Suciu (PLDI, 2017)

Demonstration of the Cosette Automated SQL Prover. - Shumo Chu; Daniel Li; Chenglong Wang; Alvin Cheung; Dan Suciu (SIGMOD Conference, 2017)

Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries. - Shumo Chu; Alvin Cheung; Dan Suciu (CoRR, 2018)

The Curses of Blockchain Decentralization. - Shumo Chu; Sophia Wang (CoRR, 2018)

Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries. - Shumo Chu; Brendan Murphy; Jared Roesch; Alvin Cheung; Dan Suciu (Proc. VLDB Endow., 2018)

Automated Reasoning of Database Queries. - Shumo Chu (2019)

Manta: Privacy Preserving Decentralized Exchange. - Shumo Chu; Qiudong Xia; Zhenfei Zhang (IACR Cryptol. ePrint Arch., 2020)

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 001; Shumo Chu (IACR Cryptol. ePrint Arch., 2020)

Manta: a Plug and Play Private DeFi Stack. - Shumo Chu; Yu Xia 005; Zhenfei Zhang (IACR Cryptol. ePrint Arch., 2021)

Differentially Oblivious Database Joins: Overcoming the Worst-Case Curse of Fully Oblivious Algorithms. - Shumo Chu; Danyang Zhuo; Elaine Shi; T.-H. Hubert Chan (IACR Cryptol. ePrint Arch., 2021)

ZEN: Efficient Zero-Knowledge Proofs for Neural Networks. - Boyuan Feng; Lianke Qin; Zhenfei Zhang; Yufei Ding 001; Shumo Chu (IACR Cryptol. ePrint Arch., 2021)

Adore: Differentially Oblivious Relational Database Operators. - Lianke Qin; Rajesh Jayaram; Elaine Shi; Zhao Song 002; Danyang Zhuo; Shumo Chu (CoRR, 2022)

Differentially Oblivious Relational Database Operators. - Lianke Qin; Rajesh Jayaram; Elaine Shi; Zhao Song 002; Danyang Zhuo; Shumo Chu (Proc. VLDB Endow., 2022)

UniPlonk: Plonk with Universal Verifier. - Shumo Chu; Brandon H. Gomes; Francisco Hernandez Iglesias; Todd Norton; Duncan Tebbs (IACR Cryptol. ePrint Arch., 2023)