Marco Servetto

48 papers A 5B 3C 1Misc 3Journal 20Unranked 16

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