Beniamino Accattoli
where else to find them
what they talk about
where they keep going back
- POPL2 editions2021–2025
on a stage with
all 5 in the filters
who talks about the same things
- Giulio Manzonetto3 talks
- Gabriele Vanoni7 talks
- Ugo Dal Lago14 talks
- Umut A. Acar8 talks
- Francesco Gavazzo4 talks
- Roberto Giacobazzi13 talks
| title | conference | date |
|---|---|---|
| Interaction Equivalence | POPL 2025 | 2025-01-19 |
Defines a checker lambda calculus with black/white lambdas and applications, four beta rules, and a deterministic head interaction steps count that ignores… | ||
| Normal Form Bisimulations by Value | GALOP 2024 | 2024-01-14 |
Defines a new call-by-value normal-form bisimilarity, net bisimilarity, built on the value substituent calculus of aatan Pini; proves net is included… | ||
| Multi Types and Reasonable Space | ICFP 2022 | 2022-09-11 |
Claims a concrete machine, Space KAM, is a reasonable space cost model for the lambda calculus (linear overhead vs. Turing/RAM) and handles logarithmic-space… | ||
| The (In)Efficiency of Interaction | POPL 2021 | 2021-01-17 |
Compares four token-based abstract machines and proves precise time gaps: YAM (geometry of interaction) can be exponentially slower than Curien’s environment… | ||
| nothing matches | ||