| 2022 | FTfJP | Using Functional Reactive Programming to Define Safe Actor Systems. | Nick Webster, Marco Servetto, Michael Homer |
| 2022 | SEFM | Information Flow Control-by-Construction for an Object-Oriented Language. | Tobias Runge, Alexander Kittelmann, Marco Servetto, Alex Potanin, Ina Schaefer |
| 2021 | ECOOP | λ-Based Object-Oriented Programming (Pearl). | Marco Servetto, Elena Zucca |
| 2019 | OOPSLA | CallƐ: an effect system for method calls. | Isaac Oscar Gariano, James Noble, Marco Servetto |
| 2018 | ECOOP | FHJ: A Formal Model for Hierarchical Dispatching and Overriding. | Yanlin Wang, Haoyuan Zhang, Bruno C. d. S. Oliveira, Marco Servetto |
| 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 | SAC | A type and effect system for sharing. | Paola Giannini, Marco Servetto, Elena Zucca |
| 2016 | ECOOP | Coupling catch clauses with local declarations. | Paola Giannini, Marco Servetto, Elena Zucca |
| 2016 | GPCE | Classless Java. | Yanlin Wang, Haoyuan Zhang, Bruno C. d. S. Oliveira, Marco Servetto |
| 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 | True small-step reduction for imperative object oriented languages. | Marco Servetto, Lindsay Groves |
| 2013 | ECOOP | The Billion-Dollar Fix - Safe Modular Circular Initialisation with Placeholders and Placeholder Types. | Marco Servetto, Julian Mackay, Alex Potanin, James Noble |
| 2013 | PEPM | A meta-circular language for active libraries. | Marco Servetto, Elena Zucca |
| 2010 | ECOOP | Strong exception-safety for Java-like languages. | Giovanni Lagorio, Marco Servetto |
| 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 |