Ian Voysey

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 8

Top Topics

Functional Programming

Quantifier Elimination

Semantically Equivalent

Top Venues

Proc. ACM Program. Lang.

Publications

Cyrus Omar, David Moon, Andrew Blinn, Ian Voysey, Nick Collins, Ravi Chugh
Filling typed holes with live GUIs. PLDI (2021)
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
Model-Based Adaptation for Robotics Software. IEEE Softw. 36 (2) (2019)
Cyrus Omar, Ian Voysey, Ravi Chugh, Matthew A. Hammer
Live functional programming with typed holes. Proc. ACM Program. Lang. 3 (POPL) (2019)
Cyrus Omar, Ian Voysey, Ravi Chugh, Matthew A. Hammer
Live Functional Programming with Typed Holes. CoRR (2018)
Cyrus Omar, Ian Voysey, Michael Hilton, Joshua Sunshine, Claire Le Goues, Jonathan Aldrich, Matthew A. Hammer
Toward Semantic Foundations for Program Editors. SNAPL (2017)
Cyrus Omar, Ian Voysey, Michael Hilton, Joshua Sunshine, Claire Le Goues, Jonathan Aldrich, Matthew A. Hammer
Toward Semantic Foundations for Program Editors. CoRR (2017)
Cyrus Omar, Ian Voysey, Michael Hilton, Jonathan Aldrich, Matthew A. Hammer
Hazelnut: a bidirectionally typed structure editor calculus. POPL (2017)
Cyrus Omar, Ian Voysey, Michael Hilton, Jonathan Aldrich, Matthew A. Hammer
Hazelnut: A Bidirectionally Typed Structure Editor Calculus. CoRR (2016)