Laura Zielinski
where else to find them
what they talk about
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2025–2026
on a stage with
- Justin Hsu2×
- Ariel E. Kellisononce
- David Bindelonce
who talks about the same things
- Ariel E. Kellison5 talks
- Justin Hsu13 talks
- Roberto Bruni5 talks
- Roberta Gori4 talks
- Flavio Ascari4 talks
- Justin Lubin7 talks
| title | conference | date |
|---|---|---|
| Synthesizing Backward Error Bounds, Backward | PLDI 2026 | 2026-06-15 |
Introduces a composable, general alpha-beta stability definition that covers all five primitive floating-point ops (including sqrt) and composes under program… | ||
| Bean: A Language for Backward Error Analysis | PLDI 2025 | 2025-06-16 |
Bean is a typed first-order language that encodes backward error via a graded coeffect system with strict linearity and a categorical semantics proving… | ||
| nothing matches | ||