Marco Servetto

Registered user since Sat 21 Jun 2014

Name: Marco Servetto

Affiliation: Victoria University Wellington, New Zealand

Contributions

Scala 2019Committee Member in Program Committee within the Scala 2019-track
SLE 2019Committee Member in Program Committee within the SLE 2019-track
VPT 2019Author of Iteratively Composing Statically Verified Traits within the VPT 2019 -track
‹Programming› 2019Author of Separating Use and Reuse to Improve Both within the Research Papers-track
Scala 2018Committee Member in Program Committee within the Scala 2018-track
FTfJP 2017Author of Tracing sharing in an imperative pure calculus within the FTfJP 2017-track
FTfJP 2016Author of Coupling Catch Clauses with Local Declarations within the FTfJP-track
VORTEX 2016Author of Runtime checks as nominal types within the VORTEX-track
ECOOP 2018Author of FHJ: A Formal Model for Hierarchical Dispatching and Overriding within the ECOOP Research Papers-track
ECOOP and ISSTAAuthor of FHJ: A Formal Model for Hierarchical Dispatching and Overriding within the Posters-track
SPLASH 2017Committee Member in External Program Committee within the OOPSLA-track
GPCE 2016Author of Classless Java within the GPCE-track
FOOLSession 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 2015Committee Member in Programme Committee within the Research Track-track
SPLASH 2013Committee Member in Artifacts within the OOPSLA Artifacts-track
FOOL 2012Committee Member in Program Committee within the FOOL 2012-track