Thomas Ball
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–2024
on a stage with
- Ekaterina Zhuchkoonce
- Gabriel Ebneronce
- James Devineonce
all 7 in the filters
who talks about the same things
- Peter Sewell14 talks
- Zongyuan Liu3 talks
- Kathleen Fisher9 talks
- Michael Sammler16 talks
- Michael Carbin14 talks
- Thomas Reps20 talks
| title | conference | date |
|---|---|---|
| Symbolic Automata: omega-Regularity Modulo Theories | POPL 2025 | 2025-01-19 |
Generalizes symbolic automata to omega-regular languages by introducing symbolic transition terms and symbolic derivatives, defines Alternating Buchi (ABW_A)… | ||
| Abstract Interpretation, Software Model Checking, and Beyond - A Celebration of the(…) | PLDI 2024 Workshop Honoring Andreas Podelski | 2024-06-25 |
A retrospective of SLAM’s engineering and theory: a C-to-Boolean pipeline that under-approximates correlations (SLAM’s actual abstraction is Cartesian… | ||
| Jacdac: Service-Based Prototyping of Embedded Systems | PLDI 2024 | 2024-06-24 |
Jacdac builds a service-based stack for microcontroller prototyping that pairs each sensor or actuator with a tiny controller that advertises capabilities over… | ||
| nothing matches | ||