Alceste Scalas
where else to find them
what they talk about
all 4 in the filters
where they keep going back
- OOPSLA2 editions2023–2025
all 4 in the filters
on a stage with
all 17 in the filters
who talks about the same things
- Philipp Haller11 talks
- Nobuko Yoshida13 talks
- Guido Salvaneschi17 talks
- Brigitte Pientka15 talks
- Danel Ahman7 talks
- Deepak Garg18 talks
| title | conference | date |
|---|---|---|
| Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and(…) | OOPSLA 2025 | 2025-10-16 |
Claims a distributed black-box monitoring algorithm that is sound and complete for detecting deadlocked services in RPC/gen_server-style systems, proved and… | ||
| P4R-Type: A Verified API for P4 Control Plane Programs | OOPSLA 2023 | 2023-10-23 |
Library implements a verified Scala API that encodes P4Info as Scala types and statically rejects mismatches between P4 tables, allowed actions, and action… | ||
| 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… | ||
| Precise Subtyping for Asynchronous Multiparty Sessions | POPL 2021 | 2021-01-17 |
First formalization of precise subtyping for asynchronous multiparty sessions that proves both soundness (safe replacement) and completeness (no larger… | ||
| Effpi: Verified Message-Passing Programs in Dotty | Scala World 2019 | 2019-09-11 |
Effpi provides a Scala 3 DSL plus a Dotty compiler plugin that encodes behavioral (session-like) types as dependent types, checks program-to-protocol… | ||
| nothing matches | ||