Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes. - Giovanni Lagorio; Marco Servetto; Elena Zucca (ECOOP, 2009)

Customizable composition operators for Java-like classes. - Giovanni Lagorio; Marco Servetto; Elena Zucca (ICTCS, 2009)

Strong exception-safety for Java-like languages. - Marco Servetto (ICTCS, 2009)

A Lightweight Approach to Customizable Composition Operators for Java-like Classes. - Giovanni Lagorio; Marco Servetto; Elena Zucca (FACS@FMWeek, 2009)

Strong exception-safety for Java-like languages. - Giovanni Lagorio; Marco Servetto (FTfJP@ECOOP, 2010)

MetaFJig: a meta-circular composition language for Java-like classes. - Marco Servetto; Elena Zucca (OOPSLA, 2010)

Strong exception-safety for checked and unchecked exceptions. - Giovanni Lagorio; Marco Servetto (J. Object Technol., 2011)

Featherweight Jigsaw - Replacing inheritance by composition in Java-like languages. - Giovanni Lagorio; Marco Servetto; Elena Zucca (Inf. Comput., 2012)

DeepFJig - Modular composition of nested classes. - Andrea Corradi; Marco Servetto; Elena Zucca (J. Object Technol., 2012)

True small-step reduction for imperative object oriented languages. - Marco Servetto; Lindsay Groves (FTfJP@ECOOP, 2013)

The Billion-Dollar Fix - Safe Modular Circular Initialisation with Placeholders and Placeholder Types. - Marco Servetto; Julian Mackay; Alex Potanin; James Noble 001 (ECOOP, 2013)

A meta-circular language for active libraries. - Marco Servetto; Elena Zucca (Sci. Comput. Program., 2014)

Aliasing Control in an Imperative Pure Calculus. - Marco Servetto; Elena Zucca (APLAS, 2015)

An Imperative Pure Calculus. - Andrea Capriccioli; Marco Servetto; Elena Zucca (ICTCS, 2015)

Coupling catch clauses with local declarations. - Paola Giannini; Marco Servetto; Elena Zucca (FTfJP@ECOOP, 2016)

Classless Java. - Yanlin Wang 001; Haoyuan Zhang; Bruno C. d. S. Oliveira; Marco Servetto (GPCE, 2016)

Types for Immutability and Aliasing Control. - Paola Giannini; Marco Servetto; Elena Zucca (ICTCS, 2016)

Runtime Checks as Nominal Types. - Paola Giannini; Marco Servetto; Elena Zucca (ICTCS, 2016)

Initialize-and-catch. - Paola Giannini; Marco Servetto; Elena Zucca (SAC, 2016)

Tracing sharing in an imperative pure calculus: extended abstract. - Paola Giannini; Marco Servetto; Elena Zucca (FTfJP@ECOOP, 2017)

A type and effect system for sharing. - Paola Giannini; Marco Servetto; Elena Zucca (SAC, 2017)

FHJ: A Formal Model for Hierarchical Dispatching and Overriding. - Yanlin Wang 001; Haoyuan Zhang; Bruno C. d. S. Oliveira; Marco Servetto (ECOOP, 2018)

A type and effect system for uniqueness and immutability. - Paola Giannini; Marco Servetto; Elena Zucca (SAC, 2018)

Flexible recovery of uniqueness and immutability (Extended Version). - Paola Giannini; Marco Servetto; Elena Zucca; James Cone (CoRR, 2018)

A Syntactic Model of Mutation and Aliasing. - Paola Giannini; Marco Servetto; Elena Zucca (DCM/ITRS, 2018)

Tracing and Preventing Sharing and Mutation. - Paola Giannini; Marco Servetto; Elena Zucca (ICTCS, 2019)

CallƐ: an effect system for method calls. - Isaac Oscar Gariano; James Noble 001; Marco Servetto (Onward!, 2019)

Iteratively Composing Statically Verified Traits. - Isaac Oscar Gariano; Marco Servetto; Alex Potanin; Hrshikesh Arora (VPT@Programming, 2019)

Sound Invariant Checking Using Type Modifiers and Object Capabilities. - Isaac Oscar Gariano; Marco Servetto; Alex Potanin (CoRR, 2019)

Mμl: The Power of Dynamic Multi-Methods. - Isaac Oscar Gariano; Marco Servetto (CoRR, 2019)

Separating Use and Reuse to Improve Both. - Hrshikesh Arora; Marco Servetto; Bruno C. d. S. Oliveira (Art Sci. Eng. Program., 2019)

Tracing sharing in an imperative pure calculus. - Paola Giannini; Tim Richter; Marco Servetto; Elena Zucca (Sci. Comput. Program., 2019)

Flexible recovery of uniqueness and immutability. - Paola Giannini; Marco Servetto; Elena Zucca; James Cone (Theor. Comput. Sci., 2019)

Smoothly Navigating between Functional Reactive Programming and Actors. - Nick Webster; Marco Servetto (CoRR, 2020)

λ-Based Object-Oriented Programming (Pearl). - Marco Servetto; Elena Zucca (ECOOP, 2021)

Using Functional Reactive Programming to Define Safe Actor Systems. - Nick Webster; Marco Servetto; Michael Homer (FTfJP@ECOOP, 2022)

Information Flow Control-by-Construction for an Object-Oriented Language. - Tobias Runge; Alexander Kittelmann; Marco Servetto; Alex Potanin; Ina Schaefer (SEFM, 2022)

Information Flow Control-by-Construction for an Object-Oriented Language Using Type Modifiers. - Tobias Runge; Alexander Kittelmann; Marco Servetto; Alex Potanin; Ina Schaefer (CoRR, 2022)

Coeffects for sharing and mutation. - Riccardo Bianchini 001; Francesco Dagnino; Paola Giannini; Elena Zucca; Marco Servetto (Proc. ACM Program. Lang., 2022)

Using capabilities for strict runtime invariant checking. - Isaac Oscar Gariano; Marco Servetto; Alex Potanin (Sci. Comput. Program., 2022)

Immutability and Encapsulation for Sound OO Information Flow Control. - Tobias Runge; Marco Servetto; Alex Potanin; Ina Schaefer (ACM Trans. Program. Lang. Syst., 2023)

The Fearless Journey [Draft]. - Nick Webster; Marco Servetto; Michael Homer (CoRR, 2024)