• Home

Michael Homer

See:

• Publications and archived author copies
• Research areas include:
  • Enabling programming language features, like user-defined sublanguages and type systems
  • Hybrid and visual programming interfaces, including Tiled Grace
  • Operating system design, including with GoboLinux and using Lively
  • Compositional programming languages, including Kihi , an explicit concatenative language
  • Programming education, including the Grace language and work on programming instruction
• Other software I created, including dragon-drop and jqjs
• My thesis, Graceful Language Extensions and Interfaces
• Elsewhere: Mastodon ; Victoria University of Wellington ; GitHub

Recent Publications

Dafny vs. Dala: Experience with Mechanising Language Design by James Noble, Julian Mackay, Tobias Wrigstad, Andrew Fawcet, Michael Homer in FTfJP🔍

Dala is a design for a concurrent dynamic object-oriented language. A key goal of Dala’s design is to avoid data races, by ensuring threads do not share mutable state. In this paper we discuss our experience using the program verification tool Dafny to validate Dala’s design. We explain how we modelled salient features of Dala in Dafny, and how Dafny did (or did not) assist our confidence in Dala’s design.

View the author copy.

• Designing Collaborative ScratchJr for Multi-touch Tabletops in SIEE🔍
• CrashJS: A NodeJS Benchmark for Automated Crash Reproduction in MSR🔍
• In-line Compositional Visual Programming in PX🔍