Conor Power
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Joe Hellerstein2×
- Alvin Cheungonce
- Mae Milanoonce
all 4 in the filters
who talks about the same things
nobody close enough yet
| 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… | ||
| nothing matches | ||