Petar Maksimovic
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 2 in the filters
on a stage with
all 7 in the filters
who talks about the same things
- Philippa Gardner17 talks
- Alexander J. Summers13 talks
- Sacha-Élie Ayoun4 talks
- Ranjit Jhala19 talks
- Derek Dreyer35 talks
- Exequiel Rivas6 talks
| title | conference | date |
|---|---|---|
| A Hybrid Approach to Semi-automated Rust Verification | PLDI 2025 | 2025-06-16 |
A prototype hybrid verifier links Gillian-Rust (symbolic-execution + separation logic) with Creusot so safe Rust specs are checked automatically while unsafe… | ||
| 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… | ||
| nothing matches | ||