Marco Servetto -

Registered user since Sat 21 Jun 2014

Name: Marco Servetto

Affiliation: Victoria University Wellington, New Zealand

Contributions

SPLASH 2010
APLAS 2020	Committee Member in Program Committee Session Chair of Types (part of Research Papers)
META 2019	Author of Mμl: The Power of Dynamic Multi-Methods within the META 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
SLE 2019	Committee Member in Program Committee within the SLE 2019-track
VPT 2019	Author of Iteratively Composing Statically Verified Traits within the VPT 2019 -track
SPLASH 2019	Author of CallƐ: An Effect System for Method Calls within the Onward! Papers-track
‹Programming› 2019	Author of Separating Use and Reuse to Improve Both within the Research Papers-track
Scala 2018	Committee Member in Program Committee within the Scala 2018-track
FTfJP 2017	Author of Tracing sharing in an imperative pure calculus within the FTfJP 2017-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 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
GPCE 2016	Author of Classless Java within the GPCE-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)
ECOOP 2015	Committee Member in Programme Committee within the Research Track-track
SPLASH 2013	Committee Member in Artifacts within the OOPSLA Artifacts-track
FOOL 2012	Committee Member in Program Committee within the FOOL 2012-track