Marco Eilers
where else to find them
what they talk about
all 5 in the filters
where they keep going back
- OOPSLA3 editions2020–2025
on a stage with
all 13 in the filters
who talks about the same things
- Thibault Dardinier9 talks
- Peter Müller28 talks
- Alexander J. Summers13 talks
- Michael Sammler16 talks
- Mooly Sagiv18 talks
- Simon Spies8 talks
| title | conference | date |
|---|---|---|
| Modular Reasoning about Global Variables and Their Initialization | OOPSLA 2025 | 2025-10-16 |
Presents a verification method that lets clients assume global state only when three concrete conditions hold: module invariants are established… | ||
| CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract(…) | PLDI 2023 | 2023-06-17 |
Claims a verification method that proves non‑interference for concurrent programs without any timing assumptions by requiring commutativity of updates only on… | ||
| Rich Specifications for Ethereum Smart Contract Verification | OOPSLA 2021 | 2021-10-17 |
Defines a specification style that proves concrete guarantees: sound reasoning under arbitrary re-entrancy, modular verification of collaborating contracts… | ||
| Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verifica | OOPSLA 2020 | 2020-11-15 |
A methodology that links compositional refinement to separation-logic code verification and is fully formalized in Isabelle/HOL, yielding end-to-end trace… | ||
| nothing matches | ||