Michael Homer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
23
Venues
11
Active years
2012–2024
Best venue rank
A*
Where they publish
Papers
23 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | FTfJP | Dafny vs. Dala: Experience with Mechanising Language Design. | James Noble, Julian Mackay, Tobias Wrigstad, Andrew Fawcet, Michael Homer |
| 2024 | MSR | CrashJS: A NodeJS Benchmark for Automated Crash Reproduction. | Philip Oliver, Jens Dietrich, Craig Anslow, Michael Homer |
| 2024 | Onward | Reclaiming the Unexplored in Hybrid Visual Programming. | Michael Homer |
| 2022 | FTfJP | Using Functional Reactive Programming to Define Safe Actor Systems. | Nick Webster, Marco Servetto, Michael Homer |
| 2021 | ECOOP | Nave transient cast insertion isn't (that) bad. | Erin Greenwood-Thessman, Isaac Oscar Gariano, Richard Roberts, Stefan Marr, Michael Homer, James Noble |
| 2021 | OOPSLA | Dala: a simple capability-based dynamic language design for data race-freedom. | Kiko Fernandez-Reyes, Isaac Oscar Gariano, James Noble, Erin Greenwood-Thessman, Michael Homer, Tobias Wrigstad |
| 2019 | DLS | First-class dynamic types. | Michael Homer, Timothy Jones, James Noble |
| 2019 | ECOOP | Transient Typechecks Are (Almost) Free. | Richard Roberts, Stefan Marr, Michael Homer, James Noble |
| 2019 | OOPSLA | Which of my transient type checks are not (almost) free? | Isaac Oscar Gariano, Richard Roberts, Stefan Marr, Michael Homer, James Noble |
| 2019 | SOSP | Taxonomy of Package Management in Programming Languages and Operating Systems. | Hisham Muhammad, Lucas Correia Villa Real, Michael Homer |
| 2018 | APLAS | The Practice of a Compositional Functional Programming Language. | Timothy Jones, Michael Homer |
| 2018 | SIGCSE | An Agile Conversion Masters Degree Programme in Software Development. | Karsten Lundqvist, Craig Anslow, Michael Homer, Kris Bubendorfer, Dale Anthony Carnegie |
| 2016 | ECOOP | Object Inheritance Without Classes. | Timothy Jones, Michael Homer, James Noble, Kim B. Bruce |
| 2016 | OOPSLA | The left hand of equals. | James Noble, Andrew P. Black, Kim B. Bruce, Michael Homer, Mark S. Miller |
| 2015 | DLS | From APIs to languages: generalising method names. | Michael Homer, Timothy Jones, James Noble |
| 2015 | ECOOP | Brand Objects for Nominal Typing. | Timothy Jones, Michael Homer, James Noble |
| 2014 | ECOOP | Graceful Dialects. | Michael Homer, Timothy Jones, James Noble, Kim B. Bruce, Andrew P. Black |
| 2014 | VISSOFT | Combining Tiled and Textual Views of Code. | Michael Homer, James Noble |
| 2013 | EuroPLop | Object creation in Grace. | Michael Homer, James Noble |
| 2013 | SIGCSE | Seeking grace: a new object-oriented language for novices. | Andrew P. Black, Kim B. Bruce, Michael Homer, James Noble, Amy Ruskin, Richard Yannow |
| 2013 | VISSOFT | A tile-based editor for a textual programming language. | Michael Homer, James Noble |
| 2012 | DLS | Patterns as objects in grace. | Michael Homer, James Noble, Kim B. Bruce, Andrew P. Black, David J. Pearce |
| 2012 | OOPSLA | Grace: the absence of (inessential) difficulty. | Andrew P. Black, Kim B. Bruce, Michael Homer, James Noble |