Andreas Lööw
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 4 in the filters
on a stage with
all 8 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Compositional Symbolic Execution for the Next 700 Memory Models | OOPSLA 2025 | 2025-10-16 |
Presents a mechanized formal foundation for memory-model‑parametric compositional symbolic execution, claiming soundness for both separation logic and… | ||
| Data Structure Abstraction and Incorrectness Separation Logic | TPSA 2025 | 2025-01-19 |
Extends incorrectness separation logic to support data-structure abstraction (lists, sets) and reports a mostly complete Rock mechanization. Shows standard ISL… | ||
| Unified Compositional Formal Methods: Exact Separation Logic and the Gi... | Incorrectness 2024 | 2024-01-17 |
Claims a single exact separation logic (ESL) that is sound for both over‑approximate verification and under‑approximate bug finding, formalizes an… | ||
| They're the same picture: a software-verification flow adapted for hardware verification | PLARCH 2023 | 2023-06-17 |
Claims that the CakeML software-verification flow maps to hardware by replacing source functions with shallow-embedded Verilog, compiler correctness with a… | ||
| nothing matches | ||