Marco Servetto

According to our database, Marco Servetto authored at least 41 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Immutability and Encapsulation for Sound OO Information Flow Control.

Tobias Runge, Marco Servetto, Alex Potanin, Ina Schaefer

ACM Trans. Program. Lang. Syst., March, 2023

2022

Using capabilities for strict runtime invariant checking.

Isaac Oscar Gariano, Marco Servetto, Alex Potanin

Sci. Comput. Program., 2022

Coeffects for sharing and mutation.

Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca, Marco Servetto

Proc. ACM Program. Lang., 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

Information Flow Control-by-Construction for an Object-Oriented Language.

Tobias Runge, Alexander Kittelmann, Marco Servetto, Alex Potanin, Ina Schaefer

Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

Using Functional Reactive Programming to Define Safe Actor Systems.

Nick Webster, Marco Servetto, Michael Homer

Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs, 2022

2021

λ-Based Object-Oriented Programming (Pearl).

Marco Servetto, Elena Zucca

Proceedings of the 35th European Conference on Object-Oriented Programming, 2021

2020

Smoothly Navigating between Functional Reactive Programming and Actors.

Nick Webster, Marco Servetto

CoRR, 2020

2019

Flexible recovery of uniqueness and immutability.

Paola Giannini, Marco Servetto, Elena Zucca, James Cone

Theor. Comput. Sci., 2019

Tracing sharing in an imperative pure calculus.

Paola Giannini, Tim Richter, Marco Servetto, Elena Zucca

Sci. Comput. Program., 2019

Separating Use and Reuse to Improve Both.

Hrshikesh Arora, Marco Servetto, Bruno C. d. S. Oliveira

Art Sci. Eng. Program., 2019

Mμl: The Power of Dynamic Multi-Methods.

Isaac Oscar Gariano, Marco Servetto

CoRR, 2019

Sound Invariant Checking Using Type Modifiers and Object Capabilities.

Isaac Oscar Gariano, Marco Servetto, Alex Potanin

CoRR, 2019

Iteratively Composing Statically Verified Traits.

Isaac Oscar Gariano, Marco Servetto, Alex Potanin, Hrshikesh Arora

Proceedings of the Proceedings Seventh International Workshop on Verification and Program Transformation, 2019

CallƐ: an effect system for method calls.

Isaac Oscar Gariano, James Noble, Marco Servetto

Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, 2019

Tracing and Preventing Sharing and Mutation.

Paola Giannini, Marco Servetto, Elena Zucca

Proceedings of the 20th Italian Conference on Theoretical Computer Science, 2019

2018

A Syntactic Model of Mutation and Aliasing.

Paola Giannini, Marco Servetto, Elena Zucca

Proceedings of the Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems, 2018

Flexible recovery of uniqueness and immutability (Extended Version).

Paola Giannini, Marco Servetto, Elena Zucca, James Cone

CoRR, 2018

A type and effect system for uniqueness and immutability.

Paola Giannini, Marco Servetto, Elena Zucca

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

FHJ: A Formal Model for Hierarchical Dispatching and Overriding.

Yanlin Wang, Haoyuan Zhang, Bruno C. d. S. Oliveira, Marco Servetto

Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

2017

A type and effect system for sharing.

Paola Giannini, Marco Servetto, Elena Zucca

Proceedings of the Symposium on Applied Computing, 2017

Tracing sharing in an imperative pure calculus: extended abstract.

Paola Giannini, Marco Servetto, Elena Zucca

Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, 2017

2016

Initialize-and-catch.

Paola Giannini, Marco Servetto, Elena Zucca

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Runtime Checks as Nominal Types.

Paola Giannini, Marco Servetto, Elena Zucca

Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016

Types for Immutability and Aliasing Control.

Paola Giannini, Marco Servetto, Elena Zucca

Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016

Classless Java.

Yanlin Wang, Haoyuan Zhang, Bruno C. d. S. Oliveira, Marco Servetto

Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2016

Coupling catch clauses with local declarations.

Paola Giannini, Marco Servetto, Elena Zucca

Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, 2016

2015

An Imperative Pure Calculus.

Andrea Capriccioli, Marco Servetto, Elena Zucca

Proceedings of the 16th Italian Conference on Theoretical Computer Science, 2015

Aliasing Control in an Imperative Pure Calculus.

Marco Servetto, Elena Zucca

Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015

2014

A meta-circular language for active libraries.

Marco Servetto, Elena Zucca

Sci. Comput. Program., 2014

2013

The Billion-Dollar Fix - Safe Modular Circular Initialisation with Placeholders and Placeholder Types.

Marco Servetto, Julian Mackay, Alex Potanin, James Noble

Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

True small-step reduction for imperative object oriented languages.

Marco Servetto, Lindsay Groves

Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs, 2013

2012

DeepFJig - Modular composition of nested classes.

Andrea Corradi, Marco Servetto, Elena Zucca

J. Object Technol., 2012

Featherweight Jigsaw - Replacing inheritance by composition in Java-like languages.

Giovanni Lagorio, Marco Servetto, Elena Zucca

Inf. Comput., 2012

2011

Strong exception-safety for checked and unchecked exceptions.

Giovanni Lagorio, Marco Servetto

J. Object Technol., 2011

2010

MetaFJig: a meta-circular composition language for Java-like classes.

Marco Servetto, Elena Zucca

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Strong exception-safety for Java-like languages.

Giovanni Lagorio, Marco Servetto

Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, 2010

2009

A Lightweight Approach to Customizable Composition Operators for Java-like Classes.

Giovanni Lagorio, Marco Servetto, Elena Zucca

Proceedings of the 6th International Workshop on Formal Aspects of Component Software, 2009

Strong exception-safety for Java-like languages.

Marco Servetto

Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009

Customizable composition operators for Java-like classes.

Giovanni Lagorio, Marco Servetto, Elena Zucca

Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009

Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes.

Giovanni Lagorio, Marco Servetto, Elena Zucca

Proceedings of the ECOOP 2009, 2009