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

PAINT 2023 Committee Member in Program Committee within the PAINT-track
PX/23 Author of Multiple-Representation Visual Compositional Dataflow Programming within the PX/23-track
Committee Member in Program Committee within the PX/23-track
LIVE 2022 Author of Live 2D Compositional Programming within the Live Programming-track
PAINT 2022 Author of Interleaved 2D Notation for Concatenative Programming within the Programming Abstractions and Interactive Notations, Tools, and Environments-track
Author of Blocks, Blocks, and More Blocks-Based Programming within the Programming Abstractions and Interactive Notations, Tools, and Environments-track
Author of Domain-Specific Visual Language for Data Engineering Quality within the Programming Abstractions and Interactive Notations, Tools, and Environments-track
SPLASH 2022 Budget and Finance Chair in Organizing Committee
ACM ISS 2022 Author of Swipe-and-Tap Functional Programming within the Posters-track
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
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
ICOOOLPS 2021 Author of Naïve Transient Cast Insertion Isn’t (That) Bad within the ICOOOLPS-track
DLS 2020 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
FTfJP 2020 Author of Dalarna: A Simplistic Capability-Based Dynamic Language Design For Data Race Freedom within the FTfJP-track
SPLASH 2019 Committee Member in Program Commitee within the SPLASH-E-track
DLS 2019 Author of First-class Dynamic Types within the DLS 2019-track
VMIL 2019 Author of Which of my Transient Type Checks are not (Almost) Free? within the VMIL 2019-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
SLE 2018 Committee Member in Program Committee within the SLE 2018-track
SPLASH 2018 Author of Multi-Device Grace within the Posters-track
BLOCKS+ 2018 Author of Multi-Device Grace within the BLOCKS+-track
SLE 2017 Committee Member in Program Committee within the SLE-track
SPLASH 2017 Committee Member in Program Committee within the SPLASH-E-track
MoreVMs 2017 Author of Toward Virtual Machine Adaption Rather than Reimplementation within the MoreVMs 2017-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
STOP 2016 Author of Beyond Types: Extending the Gradual Guarantee within the STOP-track
GRACE 2016 Author of Traitorous Traits within the GRACE-track
DLS 2015 Author of From APIs to Languages: Generalising Method Names within the DLS-track
NOOL 2015 Author of Gradual typing is morally incorrect; we're all monsters now within the NOOL-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
SPLASH 2012 Author of Grace: the absence of (inessential) difficulty within the Onward! Papers-track
DLS 2012 Author of Patterns as objects in grace within the DLS 2012-track