Amanda Liu
where else to find them
no profile links on file
what they talk about
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2024–2026
on a stage with
all 6 in the filters
who talks about the same things
- Jonathan Ragan-Kelley12 talks
- Adam Chlipala23 talks
- Gilbert Louis Bernstein9 talks
- Saman Amarasinghe13 talks
- Shoaib Kamil7 talks
- Tobias Grosser14 talks
| title | conference | date |
|---|---|---|
| A Mechanized Algebra of Verified Data Structures for Optimizing Sparse Tensor Programs | PLDI 2026 | 2026-06-15 |
Mechanized framework extends ATL and uses the Rock proof assistant to produce a verified compression/decompression adjoint that rewrites dense tensor kernels… | ||
| Gauguin, Descartes, Bayes: A Diurnal Golem's Brain | Onward! 2025 | 2025-10-12 |
Builds a small probabilistic program in Church that samples and conditions over program-space to infer its own source; uses a grammar-based generator, eval… | ||
| A Verified Compiler for a Functional Tensor Language | PLDI 2024 | 2024-06-24 |
A mechanically verified implementation of a lowering algorithm for ATL proves that a functional tensor program lowers to imperative loop nests that write… | ||
| Verified Tensor-Program Optimization Via High-Level Scheduling Rewrites | POPL 2022 | 2022-01-16 |
A Coq-verified framework implements a pure functional tensor IR called ATL and a suite of semantics-preserving, source-to-source rewrites plus reshape… | ||
| nothing matches | ||