Joe Hellerstein
where else to find them
speakerdeck:jhellerstein
what they talk about
all 6 in the filters
where they keep going back
no series more than once — all 7 in the filters
on a stage with
- Conor Power2×
- Alvin Cheungonce
- Anant Jhingranonce
all 9 in the filters
who talks about the same things
- Michael Nygard11 talks
- Josema Cavanillas3 talks
- Federico Fregosi9 talks
- Cornelia Davis38 talks
- Mark Hinkle7 talks
- Grace Jansen49 talks
| title | conference | date |
|---|---|---|
| Logic and Algebras for Distributed Computing: Applications and Open Questions | Logic and Algebra for Query Evaluation 2023 | 2023-11-13 |
Vision and prototypes present a concrete stack: translate Daedalus programs into a Hydro/Hydroflow IR, compile with e-graph style rewrites (Egg/Egglog) into… | ||
| Katara: Synthesizing CRDTs with Verified Lifting | OOPSLA 2022 | 2022-12-05 |
Katara automatically synthesizes verified CRDTs from sequential data-type implementations and a pairwise operation ordering policy, encoding correctness into… | ||
| Cloud Programming: CALM Lessons and a new PACT | Craft Conference 2021 | 2021-06-02 |
Claims that a monotonicity boundary — the CALM theorem — exactly characterizes when distributed apps can run coordination free, and proposes a practical… | ||
| A Programmable Cloud: CALM Foundations and Open Challenges | POPL 2021 | 2021-01-17 |
Argues that a proven equivalence — CALM Theorem — makes a program coordination-free exactly when it is monotonic, and shows formal tools used: Bloom/Dedalus… | ||
| The Art of the State: Serverless Computing and Distributed Data | Distributed SQL Summit 2020 | 2020-09-15 |
Berkeley RISELab presents a stack that makes serverless functions stateful by combining a monotonicity-based theory (the CALM theorem) with a key‑value store… | ||
| Postgres & Beyond | A Celebration of Mike Stonebraker (April 12, 2014) | 2014-04-12 |
Discussion traces Postgres from research into multiple companies and real deployments, naming Illustra, Sleepycat and the surprising commercial descendant… | ||
| Big Data Moonshots and Ground Control | Strata Conference 2014 | 2014-02-11 |
Argues that 80% of analytic effort is data cleaning and that automation alone fails, offering a human-in-the-loop system called predictive interaction that… | ||
| Trifacta's Transformational Platform | Strata Conference 2014 | 2014-02-11 |
Company founded in 2012 builds a data-wrangling platform that surfaces suggestions as users point and highlight messy fields, showing live previews of… | ||
| nothing matches | ||