Marco Servetto

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 33

Top Topics

Information Flow Control

Programming Language

Top Venues

Publications

Nick Webster, Marco Servetto, Michael Homer
The Fearless Journey [Draft]. CoRR (2024)
Tobias Runge, Marco Servetto, Alex Potanin, Ina Schaefer
Immutability and Encapsulation for Sound OO Information Flow Control. ACM Trans. Program. Lang. Syst. 45 (1) (2023)
Isaac Oscar Gariano, Marco Servetto, Alex Potanin
Using capabilities for strict runtime invariant checking. Sci. Comput. Program. 224 (2022)
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca, Marco Servetto
Coeffects for Sharing and Mutation. CoRR (2022)
Tobias Runge, Alexander Kittelmann, Marco Servetto, Alex Potanin, Ina Schaefer
Information Flow Control-by-Construction for an Object-Oriented Language. SEFM (2022)
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca, Marco Servetto
Coeffects for sharing and mutation. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Nick Webster, Marco Servetto, Michael Homer
Using Functional Reactive Programming to Define Safe Actor Systems. FTfJP@ECOOP (2022)
Tobias Runge, Alexander Kittelmann, Marco Servetto, Alex Potanin, Ina Schaefer
Information Flow Control-by-Construction for an Object-Oriented Language Using Type Modifiers. CoRR (2022)
Marco Servetto, Elena Zucca
λ-Based Object-Oriented Programming (Pearl). ECOOP (2021)
Nick Webster, Marco Servetto
Smoothly Navigating between Functional Reactive Programming and Actors. CoRR (2020)
Hrshikesh Arora, Marco Servetto, Bruno C. d. S. Oliveira
Separating Use and Reuse to Improve Both. CoRR (2019)
Paola Giannini, Marco Servetto, Elena Zucca, James Cone
Flexible recovery of uniqueness and immutability. Theor. Comput. Sci. 764 (2019)
Isaac Oscar Gariano, James Noble, Marco Servetto
CallƐ: an effect system for method calls. Onward! (2019)
Isaac Oscar Gariano, James Noble, Marco Servetto
CallE: An Effect System for Method Calls. CoRR (2019)
Paola Giannini, Tim Richter, Marco Servetto, Elena Zucca
Tracing sharing in an imperative pure calculus. Sci. Comput. Program. 172 (2019)
Paola Giannini, Marco Servetto, Elena Zucca
Tracing and Preventing Sharing and Mutation. ICTCS (2019)
Isaac Oscar Gariano, Marco Servetto, Alex Potanin
Sound Invariant Checking Using Type Modifiers and Object Capabilities. CoRR (2019)
Hrshikesh Arora, Marco Servetto, Bruno C. d. S. Oliveira
Separating Use and Reuse to Improve Both. Art Sci. Eng. Program. 3 (3) (2019)
Isaac Oscar Gariano, Marco Servetto
Mμl: The Power of Dynamic Multi-Methods. CoRR (2019)
Isaac Oscar Gariano, Marco Servetto, Alex Potanin, Hrshikesh Arora
Iteratively Composing Statically Verified Traits. VPT@Programming (2019)
Paola Giannini, Marco Servetto, Elena Zucca
A type and effect system for uniqueness and immutability. SAC (2018)
Yanlin Wang, Haoyuan Zhang, Bruno C. d. S. Oliveira, Marco Servetto
FHJ: A Formal Model for Hierarchical Dispatching and Overriding. ECOOP (2018)
Paola Giannini, Marco Servetto, Elena Zucca, James Cone
Flexible recovery of uniqueness and immutability (Extended Version). CoRR (2018)
Paola Giannini, Marco Servetto, Elena Zucca
A Syntactic Model of Mutation and Aliasing. DCM/ITRS (2018)
Paola Giannini, Tim Richter, Marco Servetto, Elena Zucca
Tracing sharing in an imperative pure calculus. CoRR (2018)
Paola Giannini, Marco Servetto, Elena Zucca
A type and effect system for sharing. SAC (2017)
Paola Giannini, Marco Servetto, Elena Zucca
Tracing sharing in an imperative pure calculus: extended abstract. FTfJP@ECOOP (2017)
Paola Giannini, Marco Servetto, Elena Zucca
Coupling catch clauses with local declarations. FTfJP@ECOOP (2016)
Paola Giannini, Marco Servetto, Elena Zucca
Initialize-and-catch. SAC (2016)
Paola Giannini, Marco Servetto, Elena Zucca
Types for Immutability and Aliasing Control. ICTCS (2016)
Andrea Capriccioli, Marco Servetto, Elena Zucca
An Imperative Pure Calculus. Electron. Notes Theor. Comput. Sci. 322 (2016)
Yanlin Wang, Haoyuan Zhang, Bruno C. d. S. Oliveira, Marco Servetto
Classless Java. GPCE (2016)
Paola Giannini, Marco Servetto, Elena Zucca
Runtime Checks as Nominal Types. ICTCS (2016)
Marco Servetto, Elena Zucca
Aliasing Control in an Imperative Pure Calculus. APLAS (2015)
Marco Servetto, Elena Zucca
A meta-circular language for active libraries. Sci. Comput. Program. 95 (2014)
Marco Servetto, Julian Mackay, Alex Potanin, James Noble
The Billion-Dollar Fix - Safe Modular Circular Initialisation with Placeholders and Placeholder Types. ECOOP (2013)
Marco Servetto, Elena Zucca
A meta-circular language for active libraries. PEPM (2013)
Marco Servetto, Lindsay Groves
True small-step reduction for imperative object oriented languages. FTfJP@ECOOP (2013)
Andrea Corradi, Marco Servetto, Elena Zucca
DeepFJig - Modular composition of nested classes. J. Object Technol. 11 (2) (2012)
Giovanni Lagorio, Marco Servetto, Elena Zucca
Featherweight Jigsaw - Replacing inheritance by composition in Java-like languages. Inf. Comput. 214 (2012)
Giovanni Lagorio, Marco Servetto
Strong exception-safety for checked and unchecked exceptions. J. Object Technol. 10 (2011)
Andrea Corradi, Marco Servetto, Elena Zucca
DeepFJig: modular composition of nested classes. PPPJ (2011)
Marco Servetto, Elena Zucca
MetaFJig: a meta-circular composition language for Java-like classes. OOPSLA (2010)
Giovanni Lagorio, Marco Servetto
Strong exception-safety for Java-like languages. FTfJP@ECOOP (2010)
Giovanni Lagorio, Marco Servetto, Elena Zucca
A Lightweight Approach to Customizable Composition Operators for Java-like Classes. Electron. Notes Theor. Comput. Sci. 263 (2010)
Giovanni Lagorio, Marco Servetto, Elena Zucca
Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes. ECOOP (2009)
Marco Servetto
Strong exception-safety for Java-like languages. ICTCS (2009)
Giovanni Lagorio, Marco Servetto, Elena Zucca
Customizable composition operators for Java-like classes. ICTCS (2009)