Concepedia

Ian Voysey

IV

5

Publications

116

Citations

5

H-Index

2016

Active since

Affiliations

Carnegie Mellon University(Current)

Ian Voysey is an author at Carnegie Mellon University specializing in software engineering, program analysis, and software design.

Top concepts

EngineeringSoftware DesignProgram AnalysisSoftware EngineeringFormal MethodsComputer ScienceSoftware AnalysisAutomated ReasoningDesignSyntax

Publications per year

2016–2021

5

Publications

5

Hazelnut: a bidirectionally typed structure editor calculus

Cyrus Omar, Ian Voysey, Michael Hilton et al. · 2016 · 39 citations · Full text

Syntax, Engineering, Visual Programming Language +13

Filling typed holes with live GUIs

Cyrus Omar, David A. Moon, Andrew Blinn et al. · 2021 · 30 citations · Full text

Model-Based Adaptation for Robotics Software

Jonathan Aldrich, David Garlan, Christian Kaestner et al. · IEEE Software · 2019 · 25 citations

Artificial Intelligence, Software Maintenance, Long-lasting Software Systems +23

Toward Semantic Foundations for Program Editors

Cyrus Omar, Ian Voysey, Michael Hilton et al. · arXiv (Cornell University) · 2017 · 12 citations · Full text

Engineering, Semantic Technology, Simple Formal Calculi +20

Toward Semantic Foundations for Program Editors

Cyrus Omar, Ian Voysey, Michael Hilton et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2017 · 10 citations · Full text

Rows per page

1–5 of 5