Fabrizio Montesi
where else to find them
website:https://www.fabriziomontesi.com/
github:fmontesi
bluesky:fmontesi.bsky.social
linkedin:fmontesi
speakerdeck:fmontesi
youtube:@fmontesi
devto:fmontesi
what they talk about
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2024–2025
on a stage with
all 7 in the filters
who talks about the same things
- Dan Plyukhin2 talks
- Andrew K. Hirsch6 talks
- Lindsey Kuper15 talks
- Gan Shen4 talks
- Shun Kashiwa3 talks
- Aleksandar Prokopec6 talks
| title | conference | date |
|---|---|---|
| Relax! The Semilenient Core of Choreographic Programming (Functional Pearl) | ICFP 2025 | 2025-10-12 |
Presents a trimmed formal core called λχ with just ten operational rules and a new semilenient evaluation strategy that mixes lenient (evaluate under binders)… | ||
| CRGC: Fault-Recovering Actor Garbage Collection in Pekko | PLDI 2025 | 2025-06-16 |
CRGC implements the first fault-recovering cyclic actor GC for distributed actor systems and ships a Java prototype in Apache Pekko. It records local actor… | ||
| Choreographies meet Communication Failures | CP 2024 | 2024-06-24 |
A choreography language models three concrete failure modes — send omission, receive omission, and emission failure — by declaring paired frames K/K' with… | ||
| A Propositional Dynamic Logic for Choreographies | CP 2024 | 2024-06-24 |
Generalises propositional dynamic logic into operational propositional dynamic logic (OPDL) that separates trace reasoning from operational semantics… | ||
| Choreographic Programming: its essence, beauty, and necessity | CP 2024 | 2024-06-24 |
Claims a communication-first programming model where a choreography compiles to correct per-participant code, yielding deadlock freedom by construction… | ||
| Choral: Object-Oriented Choreographic Programming | PLDI 2024 | 2024-06-24 |
Choral is an object‑oriented choreographic language plus compiler that generates per-role Java libraries from choreographies expressed as classes, with a novel… | ||
| nothing matches | ||