Andrew Blinn

According to our database, Andrew Blinn authored at least 6 papers between 2021 and 2024.

Collaborative distances:

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

2024

Total Type Error Localization and Recovery with Holes.

Eric Zhao, Raef Maroof, Anand Dukkipati, Andrew Blinn, Zhiyi Pan, Cyrus Omar

Proc. ACM Program. Lang., January, 2024

Statically Contextualizing Large Language Models with Typed Holes.

Andrew Blinn, Xiang Li, June Hyung Kim, Cyrus Omar

Proc. ACM Program. Lang., 2024

2023

Gradual Structure Editing with Obligations.

David Moon, Andrew Blinn, Cyrus Omar

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2023

2022

An Integrative Human-Centered Architecture for Interactive Programming Assistants.

Andrew Blinn, David Moon, Eric Griffis, Cyrus Omar

Proceedings of the 2022 IEEE Symposium on Visual Languages and Human-Centric Computing, 2022

tylr: a tiny tile-based structure editor.

David Moon, Andrew Blinn, Cyrus Omar

Proceedings of the TyDe '22: 7th ACM SIGPLAN International Workshop on Type-Driven Development, 2022

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