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 | 307 | 2011 |
Triangle listing in massive networks and its applications S Chu, J Cheng Proceedings of the 17th ACM SIGKDD international conference on Knowledge …, 2011 | 187 | 2011 |
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 | 167 | 2014 |
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 | 167 | 2012 |
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 | 148 | 2015 |
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 | 105 | 2012 |
Cosette: An Automated Prover for SQL S Chu, C Wang, K Weitz, A Cheung 8th Biennial Conference on Innovative Data Systems Research, 2017 | 102 | 2017 |
Triangle listing in massive networks S Chu, J Cheng ACM Transactions on Knowledge Discovery from Data (TKDD) 6 (4), 1-32, 2012 | 96 | 2012 |
HoTTSQL: Proving query rewrites with univalent SQL semantics S Chu, K Weitz, A Cheung, D Suciu ACM SIGPLAN Notices 52 (6), 510-524, 2017 | 95 | 2017 |
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 | 87 | 2012 |
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 | 66 | 2018 |
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 | 46 | 2021 |
The curses of blockchain decentralization S Chu, S Wang arXiv preprint arXiv:1810.02937, 2018 | 42 | 2018 |
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 | 29 | 2017 |
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 | 25 | 2021 |
Adore: Differentially oblivious relational database operators L Qin, R Jayaram, E Shi, Z Song, D Zhuo, S Chu arXiv preprint arXiv:2212.05176, 2022 | 23 | 2022 |
ZEN: Efficient Zero-Knowledge Proofs for Neural Networks B Feng, L Qin, Z Zhang, Y Ding, S Chu | 19* | |
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 | 9 | 2021 |
Manta: Privacy preserving decentralized exchange S Chu, Q Xia, Z Zhang Cryptology ePrint Archive, 2020 | 9 | 2020 |
Manta: a plug and play private defi stack S Chu, Y Xia, Z Zhang Cryptology ePrint Archive, 2021 | 7 | 2021 |