UniPlonk: Plonk with Universal Verifier.
IACR Cryptol. ePrint Arch., 2023
Differentially Oblivious Relational Database Operators.
Proc. VLDB Endow., 2022
Adore: Differentially Oblivious Relational Database Operators.
CoRR, 2022
ZEN: Efficient Zero-Knowledge Proofs for Neural Networks.
IACR Cryptol. ePrint Arch., 2021
Differentially Oblivious Database Joins: Overcoming the Worst-Case Curse of Fully Oblivious Algorithms.
IACR Cryptol. ePrint Arch., 2021
Manta: a Plug and Play Private DeFi Stack.
IACR Cryptol. ePrint Arch., 2021
Practical Post-Quantum Few-Time Verifiable Random Function with Applications to Algorand.
IACR Cryptol. ePrint Arch., 2020
Manta: Privacy Preserving Decentralized Exchange.
IACR Cryptol. ePrint Arch., 2020
Automated Reasoning of Database Queries.
PhD thesis, 2019
Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries.
Proc. VLDB Endow., 2018
The Curses of Blockchain Decentralization.
CoRR, 2018
Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries.
CoRR, 2018
Demonstration of the Cosette Automated SQL Prover.
Proceedings of the 2017 ACM International Conference on Management of Data, 2017
HoTTSQL: proving query rewrites with univalent SQL semantics.
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017
Cosette: An Automated Prover for SQL.
Proceedings of the 8th Biennial Conference on Innovative Data Systems Research, 2017
From Theory to Practice: Efficient Join Query Evaluation in a Parallel Database System.
Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data, Melbourne, Victoria, Australia, May 31, 2015
Demonstration of the Myria big data management service.
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the International Conference on Management of Data, 2014
Triangle listing in massive networks.
ACM Trans. Knowl. Discov. Data, 2012
IS-LABEL: an Independent-Set based Labeling Scheme for Point-to-Point Distance Querying on Large Graphs
CoRR, 2012
Efficient processing of distance queries in large graphs: a vertex cover approach.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2012
Fast algorithms for maximal clique enumeration with limited memory.
Proceedings of the 18th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2012
Triangle listing in massive networks and its applications.
Proceedings of the 17th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2011
Efficient core decomposition in massive networks.
Proceedings of the 27th International Conference on Data Engineering, 2011