Luca Padovani
where else to find them
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
- Alberto Momiglianoonce
- Alceste Scalasonce
- Cédric Fournetonce
all 11 in the filters
who talks about the same things
- Cédric Fournet7 talks
- Alceste Scalas5 talks
- Michael Sammler16 talks
- Leo Stefanesco6 talks
- Amin Timany16 talks
- Simon Spies8 talks
| title | conference | date |
|---|---|---|
| The Concurrent Calculi Formalisation Benchmark | ST30 2023 | 2023-10-22 |
A new benchmark collection targets machine-checking of message-passing concurrency by giving three concrete problems: mechanize session-type subject reduction… | ||
| Diaframe: Automated Verification of Fine-Grained Concurrent Programs in Iris | PLDI 2022 | 2022-06-13 |
Built on Iris, Diaframe provides a foundational yet automated verifier for fine‑grained concurrency, using syntax‑directed rule versions, goal‑directed proof… | ||
| Fair Termination of Binary Sessions | POPL 2022 | 2022-01-16 |
Claims the first type system ensuring fair termination of binary sessions and a liveness-preserving fair subtyping relation that rejects unsafe substitutions… | ||
| nothing matches | ||