Claudio Sacerdoti Coen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
21
Venues
14
Active years
2004–2026
Best venue rank
A*
Where they publish
Papers
21 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | RC | A Reversible Crumbling Abstract Machine for Plotkin's Call-by-Value. | Nicol Pizzo, Claudio Sacerdoti Coen |
| 2025 | APLAS | Positive Sharing and Abstract Machines. | Beniamino Accattoli, Claudio Sacerdoti Coen, Jui-Hsuan Wu |
| 2025 | FSCD | The Cost of Skeletal Call-By-Need, Smoothly. | Beniamino Accattoli, Francesco Magliocca, Loc Peyrot, Claudio Sacerdoti Coen |
| 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 | FSCD | IMELL Cut Elimination with Linear Overhead. | Beniamino Accattoli, Claudio Sacerdoti Coen |
| 2023 | ITP | Formalizing Functions as Processes. | Beniamino Accattoli, Horace Blanc, Claudio Sacerdoti Coen |
| 2022 | RC | Reversibility in Erlang: Imperative Constructs. | Pietro Lami, Ivan Lanese, Jean-Bernard Stefani, Claudio Sacerdoti Coen, Giovanni Fabbretti |
| 2021 | LICS | Strong Call-by-Value is Reasonable, Implosively. | Beniamino Accattoli, Andrea Condoluci, Claudio Sacerdoti Coen |
| 2020 | CADE | Logic-Independent Proof Search in Logical Frameworks - (Short Paper). | Michael Kohlhase, Florian Rabe, Claudio Sacerdoti Coen, Jan Frederik Schaefer |
| 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 |
| 2015 | LICS | On the Relative Usefulness of Fireballs. | Beniamino Accattoli, Claudio Sacerdoti Coen |
| 2015 | LPAR | ELPI: Fast, Embeddable, λProlog Interpreter. | Cvetan Dunchev, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi |
| 2014 | TACAS | On the Correctness of a Branch Displacement Algorithm. | Jaap Boender, Claudio Sacerdoti Coen |
| 2014 | WoLLIC | On the Value of Variables. | Beniamino Accattoli, Claudio Sacerdoti Coen |
| 2012 | CPP | On the Correctness of an Optimising Assembler for the Intel MCS-51 Microprocessor. | Dominic P. Mulligan, Claudio Sacerdoti Coen |
| 2011 | CADE | The Matita Interactive Theorem Prover. | Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, Enrico Tassi |
| 2010 | AISC | Some Considerations on the Usability of Interactive Provers. | Andrea Asperti, Claudio Sacerdoti Coen |
| 2010 | ITP | General Recursion and Formal Topology. | Claudio Sacerdoti Coen, Silvio Valentini |
| 2004 | GPCE | A Generative Approach to the Implementation of Language Bindings for the Document Object Model. | Luca Padovani, Claudio Sacerdoti Coen, Stefano Zacchiroli |
| 2004 | WWW | Schemapath, a minimal extension to xml schema for conditional constraints. | Claudio Sacerdoti Coen, Paolo Marinelli, Fabio Vitali |