Alvin Cheung
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2024–2026
all 5 in the filters
on a stage with
all 11 in the filters
who talks about the same things
- Işıl Dillig21 talks
- Tobias Grosser14 talks
- Sarah E. Chasins11 talks
- Mae Milano10 talks
- Adam Chlipala23 talks
- Jonathan Ragan-Kelley12 talks
| title | conference | date |
|---|---|---|
| Optimism in Equality Saturation | PLDI 2026 | 2026-06-15 |
Shows that a naive optimistic e-class analysis on e-graphs becomes unsound because rewrites create ill‑formed cycles that look like loops but aren’t, and… | ||
| Flo: a Semantic Foundation for Progressive Stream Processing | POPL 2025 | 2025-01-19 |
Flo formalizes two semantic guarantees: streaming progress (operators must emit meaningful partial outputs for unbounded inputs) and eager execution (operators… | ||
| Suki: Choreographed Distributed Dataflow in Rust | CP 2024 | 2024-06-24 |
Suki is an embedded Rust DSL that uses staged programming to emit per-location Rust sources which compile to zero‑overhead binaries, relying on the hydroflow… | ||
| Syntactic Code Search with Sequence-to-Tree Matching: Supporting Syntactic Search with(…) | PLDI 2024 | 2024-06-24 |
A new search architecture drops parsing and uses only tokenization plus a novel sequence-to-tree matching algorithm built on top-down tree automata to give… | ||
| 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… | ||
| Leveraging DSLs (Almost) for Free | Strange Loop 2017 | 2017-09-28 |
A method called verified lifting automatically infers a high‑level spec from code, proves equivalence with a theorem prover, and generates DSL code; a… | ||
| nothing matches | ||