Filling typed holes with live GUIs C Omar, D Moon, A Blinn, I Voysey, N Collins, R Chugh Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 43 | 2021 |
An integrative human-centered architecture for interactive programming assistants A Blinn, D Moon, E Griffis, C Omar 2022 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2022 | 12 | 2022 |
Tylr: a tiny tile-based structure editor D Moon, A Blinn, C Omar Proceedings of the 7th ACM SIGPLAN International Workshop on Type-Driven …, 2022 | 7 | 2022 |
Total type error localization and recovery with holes E Zhao, R Maroof, A Dukkipati, A Blinn, Z Pan, C Omar Proceedings of the ACM on Programming Languages 8 (POPL), 2041-2068, 2024 | 6 | 2024 |
Gradual structure editing with obligations D Moon, A Blinn, C Omar 2023 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2023 | 6 | 2023 |
Statically Contextualizing Large Language Models with Typed Holes A Blinn, X Li, JH Kim, C Omar Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 468-498, 2024 | 1 | 2024 |
Toward a Live, Rich, Composable, and Collaborative Planetary Compute Engine A Bandukwala, A Blinn, C Omar | | 2024 |
Totally Live Programming in Hazel (Progress Report) C OMAR, A BLINN, D MOON | | |