Shumo Chu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
6
Active years
2011–2021
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | FC | Practical Post-quantum Few-Time Verifiable Random Function with Applications to Algorand. | Muhammed F. Esgin, Veronika Kuchta, Amin Sakzad, Ron Steinfeld, Zhenfei Zhang, Shifeng Sun, Shumo Chu |
| 2017 | CIDR | Cosette: An Automated Prover for SQL. | Shumo Chu, Chenglong Wang, Konstantin Weitz, Alvin Cheung |
| 2017 | PLDI | HoTTSQL: proving query rewrites with univalent SQL semantics. | Shumo Chu, Konstantin Weitz, Alvin Cheung, Dan Suciu |
| 2017 | SIGMOD | Demonstration of the Cosette Automated SQL Prover. | Shumo Chu, Daniel Li, Chenglong Wang, Alvin Cheung, Dan Suciu |
| 2015 | SIGMOD | From Theory to Practice: Efficient Join Query Evaluation in a Parallel Database System. | Shumo Chu, Magdalena Balazinska, Dan Suciu |
| 2014 | SIGMOD | Demonstration of the Myria big data management service. | 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 | KDD | Fast algorithms for maximal clique enumeration with limited memory. | James Cheng, Linhong Zhu, Yiping Ke, Shumo Chu |
| 2012 | SIGMOD | Efficient processing of distance queries in large graphs: a vertex cover approach. | James Cheng, Yiping Ke, Shumo Chu, Carter Cheng |
| 2011 | ICDE | Efficient core decomposition in massive networks. | James Cheng, Yiping Ke, Shumo Chu, M. Tamer zsu |
| 2011 | KDD | Triangle listing in massive networks and its applications. | Shumo Chu, James Cheng |