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)
ECOOP 2021 Author of Lambda-based object-oriented programming within the ECOOP Technical Papers-track
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