Shumo Chu

According to our database, Shumo Chu authored at least 23 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

UniPlonk: Plonk with Universal Verifier.

Shumo Chu, Brandon H. Gomes, Francisco Hernandez Iglesias, Todd Norton, Duncan Tebbs

IACR Cryptol. ePrint Arch., 2023

2022

Differentially Oblivious Relational Database Operators.

Lianke Qin, Rajesh Jayaram, Elaine Shi, Zhao Song, Danyang Zhuo, Shumo Chu

Proc. VLDB Endow., 2022

Adore: Differentially Oblivious Relational Database Operators.

Lianke Qin, Rajesh Jayaram, Elaine Shi, Zhao Song, Danyang Zhuo, Shumo Chu

CoRR, 2022

2021

ZEN: Efficient Zero-Knowledge Proofs for Neural Networks.

Boyuan Feng, Lianke Qin, Zhenfei Zhang, Yufei Ding, Shumo Chu

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

Manta: a Plug and Play Private DeFi Stack.

Shumo Chu, Yu Xia, Zhenfei Zhang

IACR Cryptol. ePrint Arch., 2021

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, Shumo Chu

IACR Cryptol. ePrint Arch., 2020

Manta: Privacy Preserving Decentralized Exchange.

Shumo Chu, Qiudong Xia, Zhenfei Zhang

IACR Cryptol. ePrint Arch., 2020

2019

Automated Reasoning of Database Queries.

Shumo Chu

PhD thesis, 2019

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

The Curses of Blockchain Decentralization.

Shumo Chu, Sophia Wang

CoRR, 2018

Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries.

Shumo Chu, Alvin Cheung, Dan Suciu

CoRR, 2018

2017

Demonstration of the Cosette Automated SQL Prover.

Shumo Chu, Daniel Li, Chenglong Wang, Alvin Cheung, Dan Suciu

Proceedings of the 2017 ACM International Conference on Management of Data, 2017

HoTTSQL: proving query rewrites with univalent SQL semantics.

Shumo Chu, Konstantin Weitz, Alvin Cheung, Dan Suciu

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Cosette: An Automated Prover for SQL.

Shumo Chu, Chenglong Wang, Konstantin Weitz, Alvin Cheung

Proceedings of the 8th Biennial Conference on Innovative Data Systems Research, 2017

2015

From Theory to Practice: Efficient Join Query Evaluation in a Parallel Database System.

Shumo Chu, Magdalena Balazinska, Dan Suciu

Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data, Melbourne, Victoria, Australia, May 31, 2015

2014

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, Andrew Whitaker, Shengliang Xu, Magdalena Balazinska, Bill Howe, Dan Suciu

Proceedings of the International Conference on Management of Data, 2014

2012

Triangle listing in massive networks.

Shumo Chu, James Cheng

ACM Trans. Knowl. Discov. Data, 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

Efficient processing of distance queries in large graphs: a vertex cover approach.

James Cheng, Yiping Ke, Shumo Chu, Carter Cheng

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2012

Fast algorithms for maximal clique enumeration with limited memory.

James Cheng, Linhong Zhu, Yiping Ke, Shumo Chu

Proceedings of the 18th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2012

2011

Triangle listing in massive networks and its applications.

Shumo Chu, James Cheng

Proceedings of the 17th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2011

Efficient core decomposition in massive networks.

James Cheng, Yiping Ke, Shumo Chu, M. Tamer Özsu

Proceedings of the 27th International Conference on Data Engineering, 2011