Ian Voysey

According to our database, Ian Voysey authored at least 5 papers between 2017 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Filling typed holes with live GUIs.

Cyrus Omar, David Moon, Andrew Blinn, Ian Voysey, Nick Collins, Ravi Chugh

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

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, Arjun Guha, Jarrett Holtz, Javier Cámara, Pooyan Jamshidi

IEEE Softw., 2019

Live functional programming with typed holes.

Cyrus Omar, Ian Voysey, Ravi Chugh, Matthew A. Hammer

Proc. ACM Program. Lang., 2019

2017

Toward Semantic Foundations for Program Editors.

Cyrus Omar, Ian Voysey, Michael Hilton, Joshua Sunshine, Claire Le Goues, Jonathan Aldrich, Matthew A. Hammer

Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

Hazelnut: a bidirectionally typed structure editor calculus.

Cyrus Omar, Ian Voysey, Michael Hilton, Jonathan Aldrich, Matthew A. Hammer

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017