Giulio Guerrieri
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
22
Venues
11
Active years
2014–2025
Best venue rank
A*
Where they publish
Papers
22 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 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 | Infinitary Cut-Elimination via Finite Approximations. | Matteo Acclavio, Gianluca Curzi, Giulio Guerrieri |
| 2024 | FSCD | Meaningfulness and Genericity in a Subsuming Framework (Invited Talk). | Delia Kesner, Victor Arrial, Giulio Guerrieri |
| 2024 | IJCAR | The Benefits of Diligence. | Victor Arrial, Giulio Guerrieri, Delia Kesner |
| 2024 | LICS | Genericity Through Stratification. | Victor Arrial, Giulio Guerrieri, Delia Kesner |
| 2024 | LPAR | Confluence for Proof-Nets via Parallel Cut Elimination. | Giulio Guerrieri, Giulia Manara, Lorenzo Tortora de Falco, Lionel Vaux Auclair |
| 2023 | ICTAC | Strong Call-by-Value and Multi Types. | Beniamino Accattoli, Giulio Guerrieri, Maico Leberle |
| 2022 | FSCD | Strategies for Asymptotic Normalization. | Claudia Faggian, Giulio Guerrieri |
| 2021 | CSL | Factorize Factorization. | Beniamino Accattoli, Claudia Faggian, Giulio Guerrieri |
| 2021 | CSL | A Deep Quantitative Type System. | Giulio Guerrieri, Willem B. Heijltjes, Joseph W. N. Paulus |
| 2021 | CSL | Categorifying Non-Idempotent Intersection Types. | Giulio Guerrieri, Federico Olimpieri |
| 2021 | FOSSACS | Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic. | Claudia Faggian, Giulio Guerrieri |
| 2020 | CSL | Glueability of Resource Proof-Structures: Inverting the Taylor Expansion. | Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco |
| 2020 | FOSSACS | Decomposing Probabilistic Lambda-Calculi. | Ugo Dal Lago, Giulio Guerrieri, Willem Heijltjes |
| 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 | WoLLIC | Proof-Net as Graph, Taylor Expansion as Pullback. | Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco |
| 2018 | APLAS | Types of Fireballs. | Beniamino Accattoli, Giulio Guerrieri |
| 2016 | APLAS | Open Call-by-Value. | Beniamino Accattoli, Giulio Guerrieri |
| 2016 | PPDP | The Bang Calculus: an untyped lambda-calculus generalizing call-by-name and call-by-value. | Thomas Ehrhard, Giulio Guerrieri |
| 2014 | FOSSACS | A Semantical and Operational Account of Call-by-Value Solvability. | Alberto Carraro, Giulio Guerrieri |