Shumo Chu
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
2202011
Triangle listing in massive networks and its applications
S Chu, J Cheng
Proceedings of the 17th ACM SIGKDD international conference on Knowledge†…, 2011
1482011
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
1402014
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
1222012
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
1152015
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
832012
Triangle listing in massive networks
S Chu, J Cheng
ACM Transactions on Knowledge Discovery from Data (TKDD) 6 (4), 1-32, 2012
762012
HoTTSQL: Proving query rewrites with univalent SQL semantics
S Chu, K Weitz, A Cheung, D Suciu
ACM SIGPLAN Notices 52 (6), 510-524, 2017
612017
Cosette: An Automated Prover for SQL
S Chu, C Wang, K Weitz, A Cheung
8th Biennial Conference on Innovative Data Systems Research, 2017
472017
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
232018
The curses of blockchain decentralization
S Chu, S Wang
arXiv preprint arXiv:1810.02937, 2018
142018
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
122017
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
IACR Cryptol. ePrint Arch. 2020, 1222, 2020
52020
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
32012
ZEN: Efficient Zero-Knowledge Proofs for Neural Networks
B Feng, L Qin, Z Zhang, Y Ding, S Chu
3*
Manta: a Plug and Play Private DeFi Stack
S Chu, Y Xia, Z Zhang
2021
Differentially Oblivious Database Joins: Overcoming the Worst-Case Curse of Fully Oblivious Algorithms
S Chu, D Zhuo, E Shi, TH Chan
2nd Conference on Information-Theoretic Cryptography (ITC 2021), 2021
2021
Manta: Privacy Preserving Decentralized Exchange.
S Chu, Q Xia, Z Zhang
IACR Cryptol. ePrint Arch. 2020, 1607, 2020
2020
Automated Reasoning of Database Queries
S Chu
2019
ZEN: An Optimizing Compiler for Verifiable, Zero-Knowledge Neural Network Inferences
B Feng, L Qin, Z Zhang, Y Ding, S Chu
The system can't perform the operation now. Try again later.
Articles 1–20