Sotabase

Career

· Algorand

Publications (23)

Efficient core decomposition in massive networks
IEEE International Conference on Data Engineering · 2011
265
cited
Triangle listing in massive networks and its applications
Knowledge Discovery and Data Mining · 2011
159
cited
Fast algorithms for maximal clique enumeration with limited memory
Knowledge Discovery and Data Mining · 2012
142
cited
From Theory to Practice: Efficient Join Query Evaluation in a Parallel Database System
SIGMOD Conference · 2015
122
cited
Demonstration of the Myria big data management service
SIGMOD Conference · 2014
109
cited
Cosette: An Automated Prover for SQL
Conference on Innovative Data Systems Research · 2017
106
cited
IS-LABEL: an Independent-Set based Labeling Scheme for Point-to-Point Distance Querying
Proceedings of the VLDB Endowment · 2012
97
cited
HoTTSQL: proving query rewrites with univalent SQL semantics
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2016
94
cited
ZEN: An Optimizing Compiler for Verifiable, Zero-Knowledge Neural Network Inferences
2021
78
cited
Triangle listing in massive networks
TKDD · 2012
73
cited
Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries
Proceedings of the VLDB Endowment · 2018
71
cited
Efficient processing of distance queries in large graphs: a vertex cover approach
SIGMOD Conference · 2012
69
cited
Practical Post-Quantum Few-Time Verifiable Random Function with Applications to Algorand
IACR Cryptology ePrint Archive · 2020
37
cited
The Curses of Blockchain Decentralization
arXiv.org · 2018
30
cited
Demonstration of the Cosette Automated SQL Prover
SIGMOD Conference · 2017
29
cited
ZEN: Efficient Zero-Knowledge Proofs for Neural Networks
IACR Cryptology ePrint Archive · 2021
20
cited
Differentially Oblivious Database Joins: Overcoming the Worst-Case Curse of Fully Oblivious Algorithms
IACR Cryptology ePrint Archive · 2021
15
cited
Differentially Oblivious Relational Database Operators
Proceedings of the VLDB Endowment · 2022
13
cited
Manta: a Plug and Play Private DeFi Stack
IACR Cryptology ePrint Archive · 2021
8
cited
Manta: Privacy Preserving Decentralized Exchange
IACR Cryptology ePrint Archive · 2020
8
cited
Sotabase
Shumo Chu | Researcher Profile | Sotabase | Sotabase