Jacob Laurel
where else to find them
no profile links on file
what they talk about
where they keep going back
- OOPSLA2 editions2023–2025
on a stage with
all 6 in the filters
who talks about the same things
- Sasa Misailovic13 talks
- Tobias Grosser14 talks
- Alex Aiken8 talks
- Markus Püschel3 talks
- Justin Hsu13 talks
- Saman Amarasinghe13 talks
| title | conference | date |
|---|---|---|
| Synthesizing Sound and Precise Abstract Transformers for Nonlinear Hyperbolic PDE(…) | OOPSLA 2025 | 2025-10-16 |
Phocus synthesizes sound, precise abstract transformers for Lax‑Friedrichs, Leapfrog and Upwind finite difference schemes by finding a best linear… | ||
| Abstract Interpretation for Automatic Differentiation | LAFI 2024 | 2024-01-14 |
Static analysis produces sound numeric bounds on derivatives computed by AD, using a synthesized abstract interpreter that encloses nonlinear patterns with a… | ||
| Synthesizing Precise Static Analyzers for Automatic Differentiation | OOPSLA 2023 | 2023-10-23 |
Pasado synthesizes precise static analyzers that directly abstract the Chain Rule, Product Rule and Quotient Rule in automatic differentiation, producing a… | ||
| A Dual Number Abstraction for Static Analysis of Clarke Jacobians | POPL 2022 | 2022-01-16 |
Paper presents a dual-interval abstract domain that lifts dual-number forward-mode differentiation to interval arithmetic and proves the transformer semantics… | ||
| nothing matches | ||