Marco Servetto -

Registered user since Sat 21 Jun 2014

Name:Marco Servetto

Country:New Zealand

Affiliation:Victoria University of Wellington

Contributions

SLE 2022	Committee Member in Program Committee within the SLE 2022-track Session Chair of Session 6. Language Implementation, Debugging and Optimization (part of SLE 2022)
SPLASH 2022	Organizer of Sources of Unsoundness in Verification (Unsound) within the Workshops-track Author of Coeffects for Sharing and Mutation within the OOPSLA-track
Unsound 2022	Author of The 4 horsemen of unsoundness in OO languages within the Sources of Unsoundness in Verification-track Author of Discussion within the Sources of Unsoundness in Verification-track Committee Member in Organizing Committee within the Sources of Unsoundness in Verification-track Author of Welcome to Unsound within the Sources of Unsoundness in Verification-track
FTfJP 2022	Author of Using Functional Reactive Programming to Define Safe Actor Systems within the FTfJP-track
ECOOP 2021	Author of Lambda-based object-oriented programming within the ECOOP Technical Papers-track
APLAS 2020	Committee Member in Program Committee Session Chair of Types (part of Research Papers)
SPLASH 2019	Author of CallƐ: An Effect System for Method Calls within the Onward! Papers-track
META 2019	Author of Mμl: The Power of Dynamic Multi-Methods within the META 2019-track
SLE 2019	Committee Member in Program Committee within the SLE 2019-track
FTfJP 2019	Author of CallƐ: An Effect System for Method Calls within the FTfJP 2019-track
Scala 2019	Committee Member in Program Committee within the Scala 2019-track
‹Programming› 2019	Author of Separating Use and Reuse to Improve Both within the Research Papers-track
VPT 2019	Author of Iteratively Composing Statically Verified Traits within the VPT 2019 -track
Scala 2018	Committee Member in Program Committee within the Scala 2018-track
ECOOP 2018	Author of FHJ: A Formal Model for Hierarchical Dispatching and Overriding within the ECOOP Research Papers-track
ECOOP and ISSTA 2018	Author of FHJ: A Formal Model for Hierarchical Dispatching and Overriding within the Posters-track
SPLASH 2017	Committee Member in External Program Committee within the OOPSLA-track
FTfJP 2017	Author of Tracing sharing in an imperative pure calculus within the FTfJP 2017-track
GPCE 2016	Author of Classless Java within the GPCE-track
FTfJP 2016	Author of Coupling Catch Clauses with Local Declarations within the FTfJP-track
VORTEX 2016	Author of Runtime checks as nominal types within the VORTEX-track
ECOOP 2015	Committee Member in Programme Committee within the Research Track-track
FOOL	Session Chair of FOOF (Future of Object-Oriented Foundations) (part of FOOL) Committee Member in Program Committee within the FOOL-track Session Chair of Welcome, Introductions, Discussion (part of FOOL) Session Chair of Research Papers (part of FOOL) Committee Member in Organizing Committee within the FOOL-track Session Chair of Keynote (part of FOOL)
SPLASH 2013	Committee Member in Artifacts within the OOPSLA Artifacts-track
FOOL 2012	Committee Member in Program Committee within the FOOL 2012-track
SPLASH 2010