Hazelnut: a bidirectionally typed structure editor calculus. - Cyrus Omar; Ian Voysey; Michael Hilton; Jonathan Aldrich; Matthew A. Hammer (POPL, 2017)

Toward Semantic Foundations for Program Editors. - Cyrus Omar; Ian Voysey; Michael Hilton; Joshua Sunshine; Claire Le Goues; Jonathan Aldrich; Matthew A. Hammer (SNAPL, 2017)

Live functional programming with typed holes. - Cyrus Omar; Ian Voysey; Ravi Chugh; Matthew A. Hammer (Proc. ACM Program. Lang., 2019)

Model-Based Adaptation for Robotics Software. - Jonathan Aldrich; David Garlan; Christian Kästner; Claire Le Goues; Anahita Mohseni-Kabir; Ivan Ruchkin; Selva Samuel; Bradley R. Schmerl; Christopher Steven Timperley; Manuela Veloso; Ian Voysey; Joydeep Biswas; et al. (IEEE Softw., 2019)

Filling typed holes with live GUIs. - Cyrus Omar; David Moon; Andrew Blinn; Ian Voysey; Nick Collins; Ravi Chugh (PLDI, 2021)