Michael Homer -

Registered user since Thu 5 Mar 2015

Name:Michael Homer

Country:New Zealand

Affiliation:Victoria University of Wellington

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

Contributions

FTfJP 2022	Author of Using Functional Reactive Programming to Define Safe Actor Systems within the FTfJP-track
PX/22	Author of Calling Cards: Concrete Visual End-User Programming within the PX/22-track
ICOOOLPS 2021	Author of Naïve Transient Cast Insertion Isn’t (That) Bad within the ICOOOLPS-track
SPLASH 2021	Author of Dala: A Simple Capability-Based Dynamic Language Design for Data Race-Freedom within the Onward! Papers-track Author of Dala: A Simple Capability-Based Dynamic Language Design For Data Race-Freedom within the Posters-track
FTfJP 2020	Author of Dalarna: A Simplistic Capability-Based Dynamic Language Design For Data Race Freedom within the FTfJP-track
DLS 2020	Committee Member in Program Committee within the DLS 2020-track
SPLASH 2022	Budget and Finance Chair in Organizing Committee
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