Alex Aiken
where else to find them
bluesky:alexaiken.bsky.social
what they talk about
where they keep going back
- PLDI Workshop Honoring Andreas Podelski3 editions2020–2025
- EGRAPHS2 editions2025–2026
on a stage with
all 13 in the filters
who talks about the same things
- Jonathan Ragan-Kelley12 talks
- Adam Chlipala23 talks
- Oded Padon11 talks
- Işıl Dillig21 talks
- John Regehr13 talks
- Zachary Kincaid9 talks
| title | conference | date |
|---|---|---|
| A Joint Approach to Instruction Scheduling and Algebraic Rewriting with E-Graphs | EGRAPHS 2026 | 2026-06-15 |
Scheduling Modulo Equality (SME) builds an e-graph via equality saturation and then encodes extraction as an ILP with binary variables XNT and YCT, latency… | ||
| Rewrite System Showdown: Stochastic Search vs. EqSat | EGRAPHS 2026 | 2026-06-15 |
Compares stochastic search (128-thread implementation) to equality saturation (egg/egglog style) across five benchmarks: matrix-chain (optimal known… | ||
| Incremental Equality Saturation | EGRAPHS 2025 | 2025-06-16 |
Introduces an incremental egraph with per–e-class versions and a top-K analysis (K=2) so rewrites only target e-classes created by the current version and… | ||
| Task-Based Tensor Computations on Modern GPUs | PLDI 2025 | 2025-06-16 |
Cypress provides a task-based programming model that maps logical tensor tasks to Hopper GPU resources and lowers to CUDA that competes with handwritten code… | ||
| Recursive Program Synthesis using Paramorphisms | PLDI 2024 | 2024-06-24 |
Claims a synthesis method that fixes recursive shape with multi-hole templates and fills holes by stochastic search for nonrecursive straight-line code, using… | ||
| Induction Duality: Primal-Dual Search for Invariants | POPL 2022 | 2022-01-16 |
Presents a formal induction duality linking execution traces and bounded incremental proofs, and derives primal-dual Houdini, a symmetric algorithm that… | ||
| Ask Me Anything with Alex Aiken | PLDI 2020 | 2020-06-15 |
Argues that program synthesis and superoptimization work in practice for small codelets — early Stoke enumerates all 3-line x86 programs and later moves to… | ||
| nothing matches | ||