| 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 | 297 | 2011 |
| Triangle listing in massive networks and its applications S Chu, J Cheng Proceedings of the 17th ACM SIGKDD international conference on Knowledge …, 2011 | 183 | 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 | 159 | 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 | 157 | 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 | 144 | 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 | 103 | 2012 |
| Triangle listing in massive networks S Chu, J Cheng ACM Transactions on Knowledge Discovery from Data (TKDD) 6 (4), 1-32, 2012 | 95 | 2012 |
| Cosette: An Automated Prover for SQL S Chu, C Wang, K Weitz, A Cheung 8th Biennial Conference on Innovative Data Systems Research, 2017 | 90 | 2017 |
| HoTTSQL: Proving query rewrites with univalent SQL semantics S Chu, K Weitz, A Cheung, D Suciu ACM SIGPLAN Notices 52 (6), 510-524, 2017 | 86 | 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 | 86 | 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 | 55 | 2018 |
| The curses of blockchain decentralization S Chu, S Wang arXiv preprint arXiv:1810.02937, 2018 | 33 | 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 | 28 | 2021 |
| 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 | 26 | 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 | 20 | 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 | 17 | 2022 |
| 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 | 7 | 2021 |
| 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 | 7 | 2021 |
| Manta: Privacy preserving decentralized exchange S Chu, Q Xia, Z Zhang Cryptology ePrint Archive, 2020 | 6 | 2020 |
Dan SuciuUniversity of WashingtonVerified email at cs.washington.edu
