Follow
Shumo Chu
Shumo Chu
NEBRA Labs
Verified email at acm.org - Homepage
Title
Cited by
Cited by
Year
Efficient core decomposition in massive networks
J Cheng, Y Ke, S Chu, MT ÷zsu
2011 IEEE 27th International Conference on Data Engineering, 51-62, 2011
2972011
Triangle listing in massive networks and its applications
S Chu, J Cheng
Proceedings of the 17th ACM SIGKDD international conference on Knowledge†…, 2011
1832011
Demonstration of the Myria big data management service
D Halperin, V Teixeira de Almeida, LL Choo, S Chu, P Koutris, D Moritz, ...
Proceedings of the 2014 ACM SIGMOD international conference on Management of†…, 2014
1592014
Fast algorithms for maximal clique enumeration with limited memory
J Cheng, L Zhu, Y Ke, S Chu
Proceedings of the 18th ACM SIGKDD international conference on Knowledge†…, 2012
1572012
From theory to practice: Efficient join query evaluation in a parallel database system
S Chu, M Balazinska, D Suciu
Proceedings of the 2015 ACM SIGMOD International Conference on Management of†…, 2015
1442015
Is-label: an independent-set based labeling scheme for point-to-point distance querying on large graphs
AWC Fu, H Wu, J Cheng, S Chu, RCW Wong
arXiv preprint arXiv:1211.2367, 2012
1032012
Triangle listing in massive networks
S Chu, J Cheng
ACM Transactions on Knowledge Discovery from Data (TKDD) 6 (4), 1-32, 2012
952012
Cosette: An Automated Prover for SQL
S Chu, C Wang, K Weitz, A Cheung
8th Biennial Conference on Innovative Data Systems Research, 2017
902017
HoTTSQL: Proving query rewrites with univalent SQL semantics
S Chu, K Weitz, A Cheung, D Suciu
ACM SIGPLAN Notices 52 (6), 510-524, 2017
862017
Efficient processing of distance queries in large graphs: a vertex cover approach
J Cheng, Y Ke, S Chu, C Cheng
Proceedings of the 2012 ACM SIGMOD International Conference on Management of†…, 2012
862012
Axiomatic foundations and algorithms for deciding semantic equivalences of SQL queries
S Chu, B Murphy, J Roesch, A Cheung, D Suciu
arXiv preprint arXiv:1802.02229, 2018
552018
The curses of blockchain decentralization
S Chu, S Wang
arXiv preprint arXiv:1810.02937, 2018
332018
Zen: An optimizing compiler for verifiable, zero-knowledge neural network inferences
B Feng, L Qin, Z Zhang, Y Ding, S Chu
Cryptology ePrint Archive, 2021
282021
Demonstration of the cosette automated sql prover
S Chu, D Li, C Wang, A Cheung, D Suciu
Proceedings of the 2017 ACM International Conference on Management of Data†…, 2017
262017
Practical post-quantum few-time verifiable random function with applications to algorand
MF Esgin, V Kuchta, A Sakzad, R Steinfeld, Z Zhang, S Sun, S Chu
International Conference on Financial Cryptography and Data Security, 560-578, 2021
202021
Adore: Differentially oblivious relational database operators
L Qin, R Jayaram, E Shi, Z Song, D Zhuo, S Chu
arXiv preprint arXiv:2212.05176, 2022
172022
ZEN: Efficient Zero-Knowledge Proofs for Neural Networks
B Feng, L Qin, Z Zhang, Y Ding, S Chu
15*
Manta: a plug and play private DeFi stack
S Chu, Y Xia, Z Zhang
Cryptology ePrint Archive, 2021
72021
Differentially oblivious database joins: Overcoming the worst-case curse of fully oblivious algorithms
S Chu, D Zhuo, E Shi, THH Chan
Cryptology ePrint Archive, 2021
72021
Manta: Privacy preserving decentralized exchange
S Chu, Q Xia, Z Zhang
Cryptology ePrint Archive, 2020
62020
The system can't perform the operation now. Try again later.
Articles 1–20