Michael Homer

Registered user since Thu 5 Mar 2015

Name: Michael Homer

Affiliation: Victoria University of Wellington

Personal website: http://ecs.vuw.ac.nz/~mwh

Contributions

FTfJP 2020 Author of Dalarna: A Simplistic Capability-Based Dynamic Language Design For Data Race Freedom within the FTfJP-track
DLS Committee Member in Program Committee within the DLS 2020-track
SAS 2020 Session Chair of 3 (part of SAS)
Session Chair of 3 (part of SAS)
VL/HCC 2020 Author of Poster: A Visual Programming Language for Cellular Automata within the Showpieces & Posters-track
Publications Chair in Organizing Committee
VMIL 2019 Author of Which of my Transient Type Checks are not (Almost) Free? within the VMIL 2019-track
DLS 2019 Author of First-class Dynamic Types within the DLS 2019-track
SPLASH 2019 Committee Member in Program Commitee within the SPLASH-E-track
ECOOP 2019 Author of Transient Typechecks are (Almost) Free within the Research Papers-track
GRACE 2018 Author of Multi-Device Grace within the GRACE 2018-track
BLOCKS+ 2018 Author of Multi-Device Grace within the BLOCKS+-track
SLE 2018 Committee Member in Program Committee within the SLE 2018-track
SPLASH 2018 Author of Multi-Device Grace within the Posters-track
MoreVMs 2017 Author of Toward Virtual Machine Adaption Rather than Reimplementation within the MoreVMs 2017-track
SLE 2017 Committee Member in Program Committee within the SLE-track
STOP 2016 Author of Beyond Types: Extending the Gradual Guarantee within the STOP-track
GRACE 2016 Author of Traitorous Traits within the GRACE-track
SPLASH 2017 Committee Member in Program Committee within the SPLASH-E-track
NOOL 2015 Author of Gradual typing is morally incorrect; we're all monsters now within the NOOL-track
Onward! 2016 Author of The Left Hand of Equals within the Onward! Essays-track
SLE 2016 Committee Member in Program Committee within the SLE-track
ECOOP 2016 Committee Member in Artifact Evaluation Committee within the Artifacts-track
Author of Object Inheritance without Classes within the Research Track-track
Author of Object Inheritance Without Classes within the Artifacts-track
DLS 2015 Author of From APIs to Languages: Generalising Method Names within the DLS-track
ECOOP 2015 Author of Brand Objects for Nominal Typing within the Artifacts-track
Author of Brand Objects for Nominal Typing within the Research Track-track
PLOP 2012
DLS 2012 Author of Patterns as objects in grace within the DLS 2012-track
SPLASH 2012 Author of Grace: the absence of (inessential) difficulty within the Onward! Papers-track