Andrew Blinn

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 5

Top Topics

Top Venues

Proc. ACM Program. Lang.

Publications

Eric Zhao, Raef Maroof, Anand Dukkipati, Andrew Blinn, Zhiyi Pan, Cyrus Omar
Total Type Error Localization and Recovery with Holes. Proc. ACM Program. Lang. 8 (POPL) (2024)
David Moon, Andrew Blinn, Cyrus Omar
Gradual Structure Editing with Obligations. VL/HCC (2023)
Andrew Blinn, David Moon, Eric Griffis, Cyrus Omar
An Integrative Human-Centered Architecture for Interactive Programming Assistants. VL/HCC (2022)
David Moon, Andrew Blinn, Cyrus Omar
tylr: a tiny tile-based structure editor. TyDe@ICFP (2022)
Cyrus Omar, David Moon, Andrew Blinn, Ian Voysey, Nick Collins, Ravi Chugh
Filling typed holes with live GUIs. PLDI (2021)