Shumo Chu

26 papers A* 4A 2Journal 14Unranked 5
YearRankTypeTitle / Venue / Authors
2023 J jnl
UniPlonk: Plonk with Universal Verifier.
IACR Cryptol. ePrint Arch.
Shumo Chu, Brandon H. Gomes, Francisco Hernandez Iglesias, Todd Norton, Duncan Tebbs
2022 J jnl
Adore: Differentially Oblivious Relational Database Operators.
CoRR
Lianke Qin, Rajesh Jayaram, Elaine Shi, Zhao Song, Danyang Zhuo, Shumo Chu
2022 J jnl
Differentially Oblivious Relational Database Operators.
Proc. VLDB Endow.
Lianke Qin, Rajesh Jayaram, Elaine Shi, Zhao Song, Danyang Zhuo, Shumo Chu
2021 A conf
Differentially Oblivious Database Joins: Overcoming the Worst-Case Curse of Fully Oblivious Algorithms.
ITC
Shumo Chu, Danyang Zhuo, Elaine Shi, T.-H. Hubert Chan
2021 J jnl
Differentially Oblivious Database Joins: Overcoming the Worst-Case Curse of Fully Oblivious Algorithms.
IACR Cryptol. ePrint Arch.
Shumo Chu, Danyang Zhuo, Elaine Shi, T.-H. Hubert Chan
2021 J jnl
Manta: a Plug and Play Private DeFi Stack.
IACR Cryptol. ePrint Arch.
Shumo Chu, Yu Xia, Zhenfei Zhang
2021 — conf
Practical Post-quantum Few-Time Verifiable Random Function with Applications to Algorand.
Financial Cryptography (2)
Muhammed F. Esgin, Veronika Kuchta, Amin Sakzad, Ron Steinfeld, Zhenfei Zhang, Shifeng Sun, Shumo Chu
2021 J jnl
ZEN: Efficient Zero-Knowledge Proofs for Neural Networks.
IACR Cryptol. ePrint Arch.
Boyuan Feng, Lianke Qin, Zhenfei Zhang, Yufei Ding, Shumo Chu
2020 J jnl
Manta: Privacy Preserving Decentralized Exchange.
IACR Cryptol. ePrint Arch.
Shumo Chu, Qiudong Xia, Zhenfei Zhang
2020 J jnl
Practical Post-Quantum Few-Time Verifiable Random Function with Applications to Algorand.
IACR Cryptol. ePrint Arch.
Muhammed F. Esgin, Veronika Kuchta, Amin Sakzad, Ron Steinfeld, Zhenfei Zhang, Shifeng Sun, Shumo Chu
2019 — —
Automated Reasoning of Database Queries.
Shumo Chu
2018 J jnl
Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries.
CoRR
Shumo Chu, Alvin Cheung, Dan Suciu
2018 J jnl
Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries.
Proc. VLDB Endow.
Shumo Chu, Brendan Murphy, Jared Roesch, Alvin Cheung, Dan Suciu
2018 J jnl
The Curses of Blockchain Decentralization.
CoRR
Shumo Chu, Sophia Wang
2017 A conf
Cosette: An Automated Prover for SQL.
CIDR
Shumo Chu, Chenglong Wang, Konstantin Weitz, Alvin Cheung
2017 — conf
Demonstration of the Cosette Automated SQL Prover.
SIGMOD Conference
Shumo Chu, Daniel Li, Chenglong Wang, Alvin Cheung, Dan Suciu
2017 A* conf
HoTTSQL: proving query rewrites with univalent SQL semantics.
PLDI
Shumo Chu, Konstantin Weitz, Alvin Cheung, Dan Suciu
2016 J jnl
HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics.
CoRR
Shumo Chu, Konstantin Weitz, Alvin Cheung, Dan Suciu
2015 — conf
From Theory to Practice: Efficient Join Query Evaluation in a Parallel Database System.
SIGMOD Conference
Shumo Chu, Magdalena Balazinska, Dan Suciu
2014 — conf
Demonstration of the Myria big data management service.
SIGMOD Conference
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
2012 — conf
Efficient processing of distance queries in large graphs: a vertex cover approach.
SIGMOD Conference
James Cheng, Yiping Ke, Shumo Chu, Carter Cheng
2012 A* conf
Fast algorithms for maximal clique enumeration with limited memory.
KDD
James Cheng, Linhong Zhu, Yiping Ke, Shumo Chu
2012 J jnl
IS-LABEL: an Independent-Set based Labeling Scheme for Point-to-Point Distance Querying on Large Graphs
CoRR
Ada Wai-Chee Fu, Huanhuan Wu, James Cheng, Shumo Chu, Raymond Chi-Wing Wong
2012 J jnl
Triangle listing in massive networks.
ACM Trans. Knowl. Discov. Data
Shumo Chu, James Cheng
2011 A* conf
Efficient core decomposition in massive networks.
ICDE
James Cheng, Yiping Ke, Shumo Chu, M. Tamer Özsu
2011 A* conf
Triangle listing in massive networks and its applications.
KDD
Shumo Chu, James Cheng