| 2025 | ECOOP | Monadic Type-And-Effect Soundness. | Francesco Dagnino, Paola Giannini, Elena Zucca |
| 2025 | ECOOP | An Effectful Object Calculus. | Francesco Dagnino, Paola Giannini, Elena Zucca |
| 2023 | ECOOP | Multi-Graded Featherweight Java. | Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca |
| 2022 | FLOPS | Enhancing Expressivity of Checked Corecursive Streams. | Davide Ancona, Pietro Barbieri, Elena Zucca |
| 2021 | ECOOP | λ-Based Object-Oriented Programming (Pearl). | Marco Servetto, Elena Zucca |
| 2021 | ITP | Flexible Coinduction in Agda. | Luca Ciccone, Francesco Dagnino, Elena Zucca |
| 2020 | ECOOP | Sound Regular Corecursion in coFJ. | Davide Ancona, Pietro Barbieri, Francesco Dagnino, Elena Zucca |
| 2020 | ECOOP | A Big Step from Finite to Infinite Computations (SCICO Journal-first). | Davide Ancona, Francesco Dagnino, Jurriaan Rot, Elena Zucca |
| 2020 | ECOOP | An inductive abstract semantics for coFJ. | Pietro Barbieri, Francesco Dagnino, Elena Zucca |
| 2020 | ESOP | Soundness Conditions for Big-Step Semantics. | Francesco Dagnino, Viviana Bono, Elena Zucca, Mariangiola Dezani-Ciancaglini |
| 2019 | FC | Is Solidity Solid Enough? | Silvia Crafa, Matteo Di Pirro, Elena Zucca |
| 2018 | ECOOP | Modeling Infinite Behaviour by Corules. | Davide Ancona, Francesco Dagnino, Elena Zucca |
| 2018 | SAC | A type and effect system for uniqueness and immutability. | Paola Giannini, Marco Servetto, Elena Zucca |
| 2017 | ECOOP | Tracing sharing in an imperative pure calculus: extended abstract. | Paola Giannini, Marco Servetto, Elena Zucca |
| 2017 | ESOP | Generalizing Inference Systems by Coaxioms. | Davide Ancona, Francesco Dagnino, Elena Zucca |
| 2017 | SAC | A type and effect system for sharing. | Paola Giannini, Marco Servetto, Elena Zucca |
| 2016 | ECOOP | Towards a model of corecursion with default. | Davide Ancona, Francesco Dagnino, Elena Zucca |
| 2016 | ECOOP | Coupling catch clauses with local declarations. | Paola Giannini, Marco Servetto, Elena Zucca |
| 2016 | SAC | Initialize-and-catch. | Paola Giannini, Marco Servetto, Elena Zucca |
| 2015 | APLAS | Aliasing Control in an Imperative Pure Calculus. | Marco Servetto, Elena Zucca |
| 2013 | ECOOP | Safe corecursion in coFJ. | Davide Ancona, Elena Zucca |
| 2013 | PEPM | A meta-circular language for active libraries. | Marco Servetto, Elena Zucca |
| 2012 | ECOOP | Corecursive Featherweight Java. | Davide Ancona, Elena Zucca |
| 2011 | OOPSLA | 2011 international workshop on foundations of object-oriented languages (fool'11): splash/oopsla '11 workshop summary. | Jonathan Aldrich, Jeremy G. Siek, Elena Zucca |
| 2010 | OOPSLA | MetaFJig: a meta-circular composition language for Java-like classes. | Marco Servetto, Elena Zucca |
| 2009 | ECOOP | Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes. | Giovanni Lagorio, Marco Servetto, Elena Zucca |
| 2006 | SAC | Introducing safe unknown types in Java-like languages. | Giovanni Lagorio, Elena Zucca |
| 2005 | POPL | Polymorphic bytecode: compositional compilation for Java-like languages. | Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca |
| 2004 | POPL | Principal typings for Java-like languages. | Davide Ancona, Elena Zucca |
| 2004 | SAC | Modeling multiple class loaders by a calculus for dynamic linking. | Sonia Fagorzi, Elena Zucca, Davide Ancona |
| 2003 | ICALP | Mixin Modules and Computational Effects. | Davide Ancona, Sonia Fagorzi, Eugenio Moggi, Elena Zucca |
| 2002 | ECOOP | A Formal Framework for Java Separate Compilation. | Davide Ancona, Giovanni Lagorio, Elena Zucca |
| 2002 | PPDP | True separate compilation of Java classes. | Davide Ancona, Giovanni Lagorio, Elena Zucca |
| 2001 | ECOOP | True Modules for Java-like Languages. | Davide Ancona, Elena Zucca |
| 2001 | OOPSLA | A Core Calculus for Java Exceptions. | Davide Ancona, Giovanni Lagorio, Elena Zucca |
| 2000 | ECOOP | Jam - A Smooth Extension of Java with Mixins. | Davide Ancona, Giovanni Lagorio, Elena Zucca |
| 1999 | FASE | A Formal Framework with Late Binding. | Davide Ancona, Maura Cerioli, Elena Zucca |
| 1999 | PPDP | A Primitive Calculus for Module Systems. | Davide Ancona, Elena Zucca |
| 1996 | MFCS | From Static to Dynamic Abstract Data-Types. | Elena Zucca |
| 1994 | COMPASS | Implementation of Data Structures in an Imperative Framework. | Elena Zucca |
| 1993 | MFCS | Stores as Homomorphisms and their Transformations. | Egidio Astesiano, Gianna Reggio, Elena Zucca |
| 1981 | GI | Semantics of Distributed Processes Derived by Translation. | Egidio Astesiano, Elena Zucca |
| 1981 | MFCS | Semantics of CSP via Translation into CCS. | Egidio Astesiano, Elena Zucca |