Dixin Tang
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
all 12 in the filters
who talks about the same things
- Işıl Dillig21 talks
- Robert Zhang4 talks
- Ziteng Wang3 talks
- Xipeng Shen5 talks
- Alvin Cheung6 talks
- Ruijie Fang3 talks
| title | conference | date |
|---|---|---|
| Optimal Predicate Pushdown Synthesis | PLDI 2026 | 2026-06-15 |
Systematically moves filters through stateful fold-based UDFs by synthesizing the strongest pre-filter Q and weakest residual P' that preserve semantics via a… | ||
| Homomorphism Calculus for User-Defined Aggregations | PLDI 2026 | 2026-06-15 |
Introduces a decidable homomorphism calculus and a synthesis tool Inc that reduces dataframe homomorphism verification to a local per-row check via a… | ||
| Tigon: A Distributed Database for a CXL Pod | OSDI '25 | 2025-07-07 |
Tigon implements a distributed transactional in-memory database for a CXL pod, running on an emulated 8-host setup (40-core machine + CXL 1.1 module). It… | ||
| nothing matches | ||