Beniamino Accattoli
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
43
Venues
16
Active years
2009–2025
Best venue rank
A*
Where they publish
Papers
43 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | APLAS | Positive Sharing and Abstract Machines. | Beniamino Accattoli, Claudio Sacerdoti Coen, Jui-Hsuan Wu |
| 2025 | ESOP | The Vanilla Sequent Calculus is Call-by-Value. | Beniamino Accattoli |
| 2025 | FSCD | The Cost of Skeletal Call-By-Need, Smoothly. | Beniamino Accattoli, Francesco Magliocca, Loc Peyrot, Claudio Sacerdoti Coen |
| 2025 | ITP | Barendregt's Theory of the λ-Calculus, Refreshed and Formalized. | Adrienne Lancelot, Beniamino Accattoli, Maxime Vemclefs |
| 2025 | PPDP | Closure Conversion, Flat Environments, and the Complexity of Abstract Machines. | Beniamino Accattoli, Cludio Belo Loureno, Dan R. Ghica, Giulio Guerrieri, Claudio Sacerdoti Coen |
| 2024 | CSL | Semantic Bounds and Multi Types, Revisited. | Beniamino Accattoli |
| 2024 | FOSSACS | Light Genericity. | Beniamino Accattoli, Adrienne Lancelot |
| 2024 | FSCD | IMELL Cut Elimination with Linear Overhead. | Beniamino Accattoli, Claudio Sacerdoti Coen |
| 2024 | FSCD | Mirroring Call-By-Need, or Values Acting Silly. | Beniamino Accattoli, Adrienne Lancelot |
| 2023 | APLAS | A Diamond Machine for Strong Evaluation. | Beniamino Accattoli, Pablo Barenbaum |
| 2023 | ICTAC | Strong Call-by-Value and Multi Types. | Beniamino Accattoli, Giulio Guerrieri, Maico Leberle |
| 2023 | ITP | Formalizing Functions as Processes. | Beniamino Accattoli, Horace Blanc, Claudio Sacerdoti Coen |
| 2023 | Onward | Sharing a Perspective on the λ-Calculus. | Beniamino Accattoli |
| 2022 | CSL | Useful Open Call-By-Need. | Beniamino Accattoli, Maico Leberle |
| 2022 | LICS | Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic. | Beniamino Accattoli |
| 2022 | LICS | Reasonable Space for the λ-Calculus, Logarithmically. | Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni |
| 2021 | CSL | Factorize Factorization. | Beniamino Accattoli, Claudia Faggian, Giulio Guerrieri |
| 2021 | LICS | Strong Call-by-Value is Reasonable, Implosively. | Beniamino Accattoli, Andrea Condoluci, Claudio Sacerdoti Coen |
| 2021 | LICS | The Space of Interaction. | Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni |
| 2020 | FLOPS | Functional Pearl: The Distributive λ-Calculus. | Beniamino Accattoli, Alejandro Daz-Caro |
| 2020 | PPDP | The Machinery of Interaction. | Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni |
| 2019 | APLAS | Factorization and Normalization, Essentially. | Beniamino Accattoli, Claudia Faggian, Giulio Guerrieri |
| 2019 | ESOP | Types by Need. | Beniamino Accattoli, Giulio Guerrieri, Maico Leberle |
| 2019 | PPDP | Crumbling Abstract Machines. | Beniamino Accattoli, Andrea Condoluci, Giulio Guerrieri, Claudio Sacerdoti Coen |
| 2019 | PPDP | Sharing Equality is Linear. | Andrea Condoluci, Beniamino Accattoli, Claudio Sacerdoti Coen |
| 2018 | APLAS | Types of Fireballs. | Beniamino Accattoli, Giulio Guerrieri |
| 2018 | ICTAC | Proof Nets and the Linear Substitution Calculus. | Beniamino Accattoli |
| 2017 | APLAS | The Negligible and Yet Subtle Cost of Pattern Matching. | Beniamino Accattoli, Bruno Barras |
| 2017 | PPDP | Environments and the complexity of abstract machines. | Beniamino Accattoli, Bruno Barras |
| 2016 | APLAS | Open Call-by-Value. | Beniamino Accattoli, Giulio Guerrieri |
| 2016 | WoLLIC | The Useful MAM, a Reasonable Implementation of the Strong λ-Calculus. | Beniamino Accattoli |
| 2015 | APLAS | A Strong Distillery. | Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza |
| 2015 | LICS | On the Relative Usefulness of Fireballs. | Beniamino Accattoli, Claudio Sacerdoti Coen |
| 2014 | CSL | Beta reduction is invariant, indeed. | Beniamino Accattoli, Ugo Dal Lago |
| 2014 | ICFP | Distilling abstract machines. | Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza |
| 2014 | POPL | A nonstandard standardization theorem. | Beniamino Accattoli, Eduardo Bonelli, Delia Kesner, Carlos Lombardi |
| 2014 | WoLLIC | On the Value of Variables. | Beniamino Accattoli, Claudio Sacerdoti Coen |
| 2013 | LICS | Compressing Polarized Boxes. | Beniamino Accattoli |
| 2012 | CPP | Proof Pearl: Abella Formalization of λ-Calculus Cube Property. | Beniamino Accattoli |
| 2012 | FLOPS | Call-by-Value Solvability, Revisited. | Beniamino Accattoli, Luca Paolini |
| 2012 | LPAR | The Permutative λ-Calculus. | Beniamino Accattoli, Delia Kesner |
| 2010 | CSL | The Structural | Beniamino Accattoli, Delia Kesner |
| 2009 | CSL | Jumping Boxes. | Beniamino Accattoli, Stefano Guerrini |