Shumo Chu
YOU?
Author Swipe
View article: Adore: Differentially Oblivious Relational Database Operators
Adore: Differentially Oblivious Relational Database Operators Open
There has been a recent effort in applying differential privacy on memory access patterns to enhance data privacy. This is called differential obliviousness. Differential obliviousness is a promising direction because it provides a princip…
View article: Differentially Oblivious Database Joins: Overcoming the Worst-Case Curse of Fully Oblivious Algorithms
Differentially Oblivious Database Joins: Overcoming the Worst-Case Curse of Fully Oblivious Algorithms Open
Numerous high-profile works have shown that access patterns to even encrypted databases can leak secret information and sometimes even lead to reconstruction of the entire database. To thwart access pattern leakage, the literature has focu…
View article: The Curses of Blockchain Decentralization
The Curses of Blockchain Decentralization Open
Decentralization, which has backed the hyper growth of many blockchains, comes at the cost of scalability. To understand this fundamental limitation, this paper proposes a quantitative measure of blockchain decentralization, and discusses …
View article: Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries
Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries Open
Deciding the equivalence of SQL queries is a fundamental problem in data management. As prior work has mainly focused on studying the theoretical limitations of the problem, very few implementations for checking such equivalences exist. In…
View article: HoTTSQL: proving query rewrites with univalent SQL semantics
HoTTSQL: proving query rewrites with univalent SQL semantics Open
Every database system contains a query optimizer that performs query rewrites. Unfortunately, developing query optimizers remains a highly challenging task. Part of the challenges comes from the intricacies and rich features of query langu…
View article: Demonstration of the Cosette Automated SQL Prover
Demonstration of the Cosette Automated SQL Prover Open
In this demonstration, we showcase COSETTE, the first automated prover for determining the equivalences of SQL queries. Despite theoretical limitations, COSETTE leverages recent advances in both automated constraint solving and interactive…
View article: HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics
HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics Open
Every database system contains a query optimizer that performs query rewrites. Unfortunately, developing query optimizers remains a highly challenging task. Part of the challenges comes from the intricacies and rich features of query langu…