Publications

My academic publications, reverse-chronologically. Google Scholar also lists most of them.

Filters Show:
  1. Reclaiming the Unexplored in Hybrid Visual Programming. ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!), 2024. Michael Homer. (bibtex, author copy)
  2. Dafny vs. Dala: Experience with Mechanising Language Design. Workshop on Formal Techniques for Java-like Programs (FTfJP), 2024. James Noble, Julian Mackay, Tobias Wrigstad, Andrew Fawcet, Michael Homer. (bibtex, author copy)
  3. Designing Collaborative ScratchJr for Multi-touch Tabletops. International Symposium on Computers in Education (SIEE), 2024. Pedro Paredes Barragán, Maximiliano Paredes Velasco, Jame Urquiza-Fuentes, Guillermo J. García-Delgado Álvarez, Craig Anslow, Michael Homer. (bibtex, author copy)
  4. CrashJS: A NodeJS Benchmark for Automated Crash Reproduction. International Conference on Mining Software Repositories (MSR), 2024. Philip Oliver, Jens Dietrich, Craig Anslow, Michael Homer. (bibtex, author copy)
  5. In-line Compositional Visual Programming. Programming Experience Workshop (PX), 2024. Michael Homer. (bibtex, author copy)
  6. Branching Compositional Data Transformations in jq, Visually. ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, Tools, and Environments (PAINT), 2023. Michael Homer. (bibtex, author copy)
  7. Multiple-Representation Visual Compositional Dataflow Programming. Programming Experience Workshop (PX), 2023. Michael Homer. (bibtex, author copy)
  8. Interleaved 2D Notation for Concatenative Programming. ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, Tools, and Environments (PAINT), 2022. Michael Homer. (bibtex, author copy)
  9. Domain-Specific Visual Language for Data Engineering Quality. ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, Tools, and Environments (PAINT), 2022. Alexis De Meo, Michael Homer. (bibtex, author copy)
  10. Blocks, Blocks, and More Blocks-Based Programming. ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, Tools, and Environments (PAINT), 2022. Ben Selwyn-Smith, Craig Anslow, Michael Homer. (bibtex, author copy)
  11. Live 2D Compositional Programming. Workshop on Live Programming (LIVE), 2022. Michael Homer. (bibtex, article)
  12. Swipe-and-Tap Functional Programming. Conference on Interactive Surfaces and Spaces Companion (ISS), 2022. Michael Homer, Craig Anslow. (bibtex, author copy)
  13. Using Functional Reactive Programming to Define Safe Actor Systems. Workshop on Formal Techniques for Java-like Programs (FTfJP), 2022. Nick Webster, Marco Servetto, Michael Homer. (bibtex, author copy)
  14. Calling Cards: Concrete Visual End-User Programming. Programming Experience Workshop (PX), 2022. Michael Homer. (bibtex, author copy)
  15. Dala: A Simple Capability-Based Dynamic Language Design For Data-Race Freedom. ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!), 2021. Kiko Fernandez-Reyes, Isaac Oscar Gariano, James Noble, Erin Greenwood-Thessman, Michael Homer, Tobias Wrigstad. (bibtex, author copy)
  16. A Partial Reproduction of A Guided Genetic Algorithm for Automated Crash Reproduction. Recognizing and Rewarding Open Science in Software Engineering Festival (ROSE), 2021. Philip Oliver, Michael Homer, Jens Dietrich, Craig Anslow. (bibtex, author copy)
  17. Naïve Transient Cast Insertion Isn't (That) Bad. Workshop on Implementation, Compilation, Optimization of OO Languages, Programs and Systems (ICOOOLPS), 2021. Erin Greenwood-Thessman, Isaac Oscar Gariano, Richard Roberts, Stefan Marr, Michael Homer, James Noble. (bibtex, author copy)
  18. Poster: A Visual Programming Language for Cellular Automata. IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), 2020. Deacon McIntyre, Michael Homer. (bibtex, author copy) 🏆
  19. Taxonomy of Package Management in Programming Languages and Operating Systems. Workshop on Programming Languages and Operating Systems (PLOS), 2019. Hisham Muhammad, Lucas C. Villa Real, Michael Homer. (bibtex, author copy)
  20. Which of My Transient Type Checks Are Not (Almost) Free?. Workshop on Virtual Machines and Intermediate Languages (VMIL), 2019. Isaac Oscar Gariano, Richard Roberts, Stefan Marr, Michael Homer, James Noble. (bibtex, author copy)
  21. First-Class Dynamic Types. Dynamic Language Symposium (DLS), 2019. Michael Homer, Timothy Jones, James Noble. (bibtex, author copy)
  22. Co-located Collaborative Block-Based Programming. IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), 2019. Ben Selwyn-Smith, Craig Anslow, Michael Homer, James R. Wallace. (bibtex, author copy)
  23. Transient Typechecks are (Almost) Free. European Conference on Object-Oriented Programming (ECOOP), 2019. Richard Roberts, Stefan Marr, Michael Homer, James Noble. (bibtex, author copy)
  24. The Practice of a Compositional Functional Programming Language. Asian Symposium on Programming Languages and Systems (APLAS), 2018. Timothy Jones, Michael Homer. (bibtex, author copy)
  25. An Agile Conversion Masters Degree Programme in Software Development. ACM Technical Symposium on Computer Science Education (SIGCSE), 2018. Karsten Lundqvist, Craig Anslow, Michael Homer, Kris Bubendorfer, Dale Carnegie. (bibtex, author copy)
  26. Towards collaborative block-based programming on digital tabletops. Blocks & Beyond Workshop (B&B), 2017. Ben Selwyn-Smith, Michael Homer, Craig Anslow. (bibtex, author copy)
  27. A goodput distribution model for planning IEEE 802.11 WBNs in built environments. Journal of Network and Computer Applications (JNCA), 2017. Ying Qu, Brian Ng, Michael Homer. (bibtex, author copy)
  28. Optimising Channel Assignment To Prevent Flow Starvation and Improve Fairness For Planning Single Radio WMNs In Built Environments. Computer Networks (COMNET), 2017. Ying Qu, Brian Ng, Michael Homer. (bibtex, author copy)
  29. Lessons in Combining Block-Based and Textual Programming. Journal of Visual Languages and Sentient Systems (VLSS), Volume 3, 2017. Michael Homer, James Noble. (bibtex, author copy)
  30. Toward Virtual Machine Adaption Rather than Reimplementation. Workshop on Modern Language Runtimes, Ecosystems, and VMs (MoreVMs), 2017. Richard Roberts, Stefan Marr, Michael Homer, James Noble. (bibtex, author copy)
  31. Grace's Inheritance. The Journal of Object Technology (JOT), Volume 16, no. 2, 2017. James Noble, Andrew P. Black, Kim B. Bruce, Michael Homer, Timothy Jones. (bibtex, author copy)
  32. The Left Hand of Equals. ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!), 2016. James Noble, Andrew P. Black, Kim B. Bruce, Michael Homer, Mark S Miller. (bibtex, author copy)
  33. Object Inheritance Without Classes. European Conference on Object-Oriented Programming (ECOOP), 2016. Timothy Jones, Michael Homer, James Noble, Kim Bruce. (bibtex, author copy)
  34. Beyond Types: Extending the Gradual Guarantee. Script To Program Evolution Workshop (STOP), 2016. James Noble, Michael Homer, Timothy Jones, Sophia Drossopolou, Andrew P. Black, Kim B. Bruce. (bibtex, author copy)
  35. Gradual typing is morally incorrect; we're all monsters now. Workshop on New Object-Oriented Languages (NOOL), 2015. Timothy Jones, Michael Homer. (bibtex, author copy)
  36. From APIs to Languages: Generalising Method Names. Dynamic Language Symposium (DLS), 2015. Michael Homer, Timothy Jones, James Noble. (bibtex, author copy)
  37. Brand Objects for Nominal Typing. European Conference on Object-Oriented Programming (ECOOP), 2015. Timothy Jones, Michael Homer, James Noble. (bibtex, author copy)
  38. Simple Rules for Identifying Students on the Edge. IEEE International Conference on Teaching, Assessment, and Learning for Engineering (TALE), 2014. Roman Klapaukh, Michael Homer. (bibtex, author copy)
  39. Combining Tiled and Textual Views of Code. IEEE Working Conference on Software Visualisation (VISSOFT), 2014. Michael Homer, James Noble. (bibtex, author copy)
  40. Graceful Dialects. European Conference on Object-Oriented Programming (ECOOP), 2014. Michael Homer, Timothy Jones, James Noble, Kim B. Bruce, Andrew P. Black. (bibtex, author copy)
  41. A Tile-based Editor for a Textual Programming Language. IEEE Working Conference on Software Visualisation (VISSOFT), 2013. Michael Homer, James Noble. (bibtex, author copy)
  42. Object Creation in Grace. European Conference on Pattern Languages of Programs (EuroPLoP), 2013. Michael Homer, James Noble. (bibtex, author copy)
  43. Modules as Gradually-Typed Objects. 7th Workshop on Dynamic Languages and Applications (DYLA), 2013. Michael Homer, James Noble, Kim B. Bruce, Andrew P. Black. (bibtex, author copy)
  44. Designing Grace: Can an Introductory Programming Language Support the Teaching of Software Engineering?. IEEE Conference on Software Engineering Education and Training (CSEE&T), 2013. James Noble, Michael Homer, Kim B. Bruce, Andrew P. Black. (bibtex, author copy)
  45. Seeking Grace: A New Object-Oriented Language for Novices. ACM Technical Symposium on Computer Science Education (SIGCSE), 2013. Andrew P. Black, Kim B. Bruce, Michael Homer, James Noble, Amy Ruskin, Richard Yannow. (bibtex, author copy)
  46. Patterns as Objects in Grace. Dynamic Language Symposium (DLS), 2012. Michael Homer, James Noble, Kim B. Bruce, Andrew P. Black, David J. Pearce. (bibtex, author copy)
  47. Grace: the Absence of (Inessential) Difficulty. Symposium on New Ideas in Programming and Reflections on Software (Onward!), 2012. Andrew P. Black, Kim B. Bruce, Michael Homer, James Noble. (bibtex, author copy) 🏆
  48. Graceful Patterns for Patterns in Grace. Conference on Pattern Languages of Programs (PLoP), 2012. Michael Homer, James Noble. (bibtex, author copy)
Michael Homer — 2024 2b418cbd