default search action
Michael Homer
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c35]James Noble, Julian Mackay, Tobias Wrigstad, Andrew Fawcet, Michael Homer:
Dafny vs. Dala: Experience with Mechanising Language Design. FTfJP@ECOOP 2024: 37-43 - [c34]Philip Oliver, Jens Dietrich, Craig Anslow, Michael Homer:
CrashJS: A NodeJS Benchmark for Automated Crash Reproduction. MSR 2024: 75-87 - [c33]Michael Homer:
In-Line Compositional Visual Programming. Programming 2024 - [c32]Pedro Paredes Barragán, Maximiliano Paredes-Velasco, Jaime Urquiza-Fuentes, Guillermo J. García-Delgado Álvarez, Craig Anslow, Michael Homer:
Designing Collaborative ScratchJr for Multi-Touch Tabletops. SIIE 2024: 1-6 - [i6]Philip Oliver, Jens Dietrich, Craig Anslow, Michael Homer:
CrashJS: A NodeJS Benchmark for Automated Crash Reproduction. CoRR abs/2405.05541 (2024) - [i5]Nick Webster, Marco Servetto, Michael Homer:
The Fearless Journey [Draft]. CoRR abs/2405.06233 (2024) - 2023
- [c31]Michael Homer:
Branching Compositional Data Transformations in jq, Visually. PAINT@SPLASH 2023: 11-16 - [c30]Michael Homer:
Multiple-Representation Visual Compositional Dataflow Programming. Programming 2023: 39-47 - 2022
- [c29]Nick Webster, Marco Servetto, Michael Homer:
Using Functional Reactive Programming to Define Safe Actor Systems. FTfJP@ECOOP 2022: 4-10 - [c28]Michael Homer:
Calling Cards: Concrete Visual End-User Programming. Programming 2022: 22-29 - [c27]Michael Homer:
Interleaved 2D Notation for Concatenative Programming. PAINT@SPLASH 2022: 1-10 - [c26]Ben Selwyn-Smith, Craig Anslow, Michael Homer:
Blocks, Blocks, and More Blocks-Based Programming. PAINT@SPLASH 2022: 35-47 - [c25]Alexis De Meo, Michael Homer:
Domain-Specific Visual Language for Data Engineering Quality. PAINT@SPLASH 2022: 48-56 - [c24]Michael Homer, Craig Anslow:
Swipe-and-Tap Functional Programming. ISS Companion 2022: 18-21 - 2021
- [c23]Erin Greenwood-Thessman, Isaac Oscar Gariano, Richard Roberts, Stefan Marr, Michael Homer, James Noble:
Naïve transient cast insertion isn't (that) bad. ICOOOLPS@ECOOP 2021: 1-9 - [c22]Philip Oliver, Michael Homer, Jens Dietrich, Craig Anslow:
A Partial Reproduction of A Guided Genetic Algorithm for Automated Crash Reproduction. ICSME 2021: 684-688 - [c21]Kiko Fernandez-Reyes, Isaac Oscar Gariano, James Noble, Erin Greenwood-Thessman, Michael Homer, Tobias Wrigstad:
Dala: a simple capability-based dynamic language design for data race-freedom. Onward! 2021: 1-17 - [i4]Philip Oliver, Michael Homer, Jens Dietrich, Craig Anslow:
A Partial Reproduction of A Guided Genetic Algorithm for Automated Crash Reproduction. CoRR abs/2107.11933 (2021) - [i3]Kiko Fernandez-Reyes, Isaac Oscar Gariano, James Noble, Erin Greenwood-Thessman, Michael Homer, Tobias Wrigstad:
Dala: A Simple Capability-Based Dynamic Language Design For Data Race-Freedom. CoRR abs/2109.07541 (2021) - 2020
- [c20]Deacon McIntyre, Michael Homer:
Poster: A Visual Programming Language for Cellular Automata. VL/HCC 2020: 1-2 - [e1]Michael Homer, Felienne Hermans, Steven L. Tanimoto, Craig Anslow:
IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2020, Dunedin, New Zealand, August 10-14, 2020. IEEE 2020, ISBN 978-1-7281-6901-9 [contents]
2010 – 2019
- 2019
- [c19]Michael Homer, Timothy Jones, James Noble:
First-class dynamic types. DLS 2019: 1-14 - [c18]Richard Roberts, Stefan Marr, Michael Homer, James Noble:
Transient Typechecks Are (Almost) Free. ECOOP 2019: 5:1-5:28 - [c17]Isaac Oscar Gariano, Richard Roberts, Stefan Marr, Michael Homer, James Noble:
Which of my transient type checks are not (almost) free? VMIL@SPLASH 2019: 58-66 - [c16]Hisham Muhammad, Lucas Correia Villa Real, Michael Homer:
Taxonomy of Package Management in Programming Languages and Operating Systems. PLOS@SOSP 2019: 60-66 - [c15]Ben Selwyn-Smith, Craig Anslow, Michael Homer, James R. Wallace:
Co-located Collaborative Block-Based Programming. VL/HCC 2019: 107-116 - [d1]Richard Roberts, Stefan Marr, Michael Homer, James Noble:
Transient Typechecks are (Almost) Free [Artifact]. Zenodo, 2019 - [i2]Isaac Oscar Gariano, Richard Roberts, Stefan Marr, Michael Homer, James Noble:
Which of My Transient Type Checks Are Not (Almost) Free? CoRR abs/1909.05581 (2019) - 2018
- [c14]Timothy Jones, Michael Homer:
The Practice of a Compositional Functional Programming Language. APLAS 2018: 166-177 - [c13]Karsten Lundqvist, Craig Anslow, Michael Homer, Kris Bubendorfer, Dale Anthony Carnegie:
An Agile Conversion Masters Degree Programme in Software Development. SIGCSE 2018: 846-851 - [i1]Richard Roberts, Stefan Marr, Michael Homer, James Noble:
Shallow Types for Insightful Programs: Grace is Optional, Performance is Not. CoRR abs/1807.00661 (2018) - 2017
- [j6]Ying Qu, Bryan Ng, Michael Homer:
Optimising channel assignment to prevent flow starvation and improve fairness for planning single radio WMNs in built environments. Comput. Networks 129: 215-231 (2017) - [j5]Ying Qu, Bryan Ng, Michael Homer:
A goodput distribution model for planning IEEE 802.11 WBNs in built environments. J. Netw. Comput. Appl. 99: 28-46 (2017) - [j4]James Noble, Andrew P. Black, Kim B. Bruce, Michael Homer, Timothy Jones:
Grace's Inheritance. J. Object Technol. 16(2): 2:1-35 (2017) - [j3]Michael Homer, James Noble:
Lessons in Combining Block-based and Textual Programming. J. Vis. Lang. Sentient Syst. 3: 22-39 (2017) - 2016
- [j2]Timothy Jones, Michael Homer:
Object Inheritance Without Classes (Artifact). Dagstuhl Artifacts Ser. 2(1): 06:1-06:2 (2016) - [c12]Timothy Jones, Michael Homer, James Noble, Kim B. Bruce:
Object Inheritance Without Classes. ECOOP 2016: 13:1-13:26 - [c11]James Noble, Andrew P. Black, Kim B. Bruce, Michael Homer, Mark S. Miller:
The left hand of equals. Onward! 2016: 224-237 - 2015
- [j1]Timothy Jones, Michael Homer, James Noble:
Brand Objects for Nominal Typing (Artifact). Dagstuhl Artifacts Ser. 1(1): 04:1-04:2 (2015) - [c10]Michael Homer, Timothy Jones, James Noble:
From APIs to languages: generalising method names. DLS 2015: 1-12 - [c9]Timothy Jones, Michael Homer, James Noble:
Brand Objects for Nominal Typing. ECOOP 2015: 198-221 - 2014
- [c8]Michael Homer, Timothy Jones, James Noble, Kim B. Bruce, Andrew P. Black:
Graceful Dialects. ECOOP 2014: 131-156 - [c7]Michael Homer, James Noble:
Combining Tiled and Textual Views of Code. VISSOFT 2014: 1-10 - 2013
- [c6]James Noble, Michael Homer, Kim B. Bruce, Andrew P. Black:
Designing Grace: Can an introductory programming language support the teaching of software engineering? CSEE&T 2013: 219-228 - [c5]Michael Homer, James Noble:
Object creation in Grace. EuroPLoP 2013: 21:1-21:15 - [c4]Andrew P. Black, Kim B. Bruce, Michael Homer, James Noble, Amy Ruskin, Richard Yannow:
Seeking grace: a new object-oriented language for novices. SIGCSE 2013: 129-134 - [c3]Michael Homer, James Noble:
A tile-based editor for a textual programming language. VISSOFT 2013: 1-4 - 2012
- [c2]Michael Homer, James Noble, Kim B. Bruce, Andrew P. Black, David J. Pearce:
Patterns as objects in grace. DLS 2012: 17-28 - [c1]Andrew P. Black, Kim B. Bruce, Michael Homer, James Noble:
Grace: the absence of (inessential) difficulty. Onward! 2012: 85-98
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-16 20:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint