Sasa Misailovic
where else to find them
linkedin:sasa-misailovic-281b334
what they talk about
all 5 in the filters
where they keep going back
- OOPSLA3 editions2020–2023
- PLDI Workshop Honoring Andreas Podelski2 editions2023–2026
all 5 in the filters
on a stage with
all 26 in the filters
who talks about the same things
- Keyur Joshi6 talks
- Vikram S. Adve8 talks
- Adam Chlipala23 talks
- Vimuth Fernando3 talks
- Jonathan Ragan-Kelley12 talks
- Deepak Garg18 talks
| title | conference | date |
|---|---|---|
| Neptune: Advanced ML Operator Fusion for Locality and Parallelism on GPUs | PLDI 2026 | 2026-06-15 |
Neptune is a tensor compiler that implements advanced operator fusion by deliberately breaking loop-carried dependencies and synthesizing algebraic repair… | ||
| 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… | ||
| Incremental Verification of Neural Networks | PLDI 2023 | 2023-06-17 |
Complete, verifier-agnostic method IVAN reuses branch-and-bound work by saving a specification tree of partitioned subproblems and then avoids costly analyzer… | ||
| Proof transfer for fast certification of multiple approximate neural networks | OOPSLA 2022 | 2022-12-05 |
FANC generates templates—connected symbolic shapes at an intermediate layer—and a cheap template transformer that adapts those templates to approximate… | ||
| Safety and Security | EMSOFT 2022 | 2022-10-07 |
A verified train controller models the full FRA kinematics in KeYmaera X, uses Taylor approximations, ghost differential equations and iterative bootstrapping… | ||
| 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… | ||
| Koord: A Language for Programming and Verifying Distributed Robotics Application | OOPSLA 2020 | 2020-11-15 |
Koord provides a high-level language that separates distributed coordination from platform-dependent control, with Controller Ports for sensing, planning and… | ||
| nothing matches | ||