| 2025.03.19 | Completeness of Equality Saturation |
| 2025.03.17 | Reading Papers in a Paper-Reading Seminar |
| 2023.12.06 | Duality in Linear Programming |
| 2023.11.01 | The Entropic Framework for Cardinality Bounds |
| 2023.08.03 | Relative Safety in Relational Calculus |
| 2023.07.26 | How to Check 2 SQL Tables are the Same |
| 2023.02.08 | Datalog resources |
| 2023.01.31 | Late materialization is (almost) worst-case optimal |
| 2023.01.30 | AGM bound for transitive closure |
| 2021.04.27 | Counterexample-guided inductive synthesis |
| 2021.04.27 | Generic join algorithms |
| 2021.01.17 | E-graph intersection |
| 2020.06.17 | Fundamental entropic bounds |
| 2020.06.17 | Entropy |
| 2019.02.13 | A canonicity proof via gradient induction |