Andrew Blinn
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
- OOPSLA2 editions2024–2025
all 5 in the filters
on a stage with
all 10 in the filters
who talks about the same things
- David Moon7 talks
- Cyrus Omar21 talks
- Eric Zhao3 talks
- Thomas J. Porter4 talks
- Amal Ahmed25 talks
- Eric Griffis2 talks
| title | conference | date |
|---|---|---|
| Syntactic Completions with Material Obligations | OOPSLA 2025 | 2025-10-16 |
Prototype editor tall tylr completes malformed code by inserting abstract syntactic placeholders rather than enumerating text repairs, using a tile-based… | ||
| Statically Contextualizing Large Language Models with Typed Holes | OOPSLA 2024 | 2024-10-20 |
Integration of a typed live editor with LLM completions produces fewer hallucinations by sending a Hazel language server–constructed static slice: inferred… | ||
| Toward a Live, Rich, Composable, and Collaborative Planetary Compute Engine | PROPL 2024 | 2024-01-20 |
Proposes building Planet Hazel, a live functional orchestration layer based on Hazel that embeds live lits (rich, editable domain GUIs) and splices (embedded… | ||
| Total Type Error Localization and Recovery with Holes | POPL 2024 | 2024-01-14 |
Defines a marked lambda calculus that makes every program meaningful by inserting error marks as nonempty holes, gives a total marking procedure (every… | ||
| Totally Live Programming with Hazel (Progress Report) | HATRA 2023 | 2023-10-22 |
Hazel is a structure editor that keeps every editor state syntactically and statically meaningful by inserting hexagonal holes for missing pieces and by… | ||
| tylr, a tiny tile-based structure editor | TyDe 2022 | 2022-09-11 |
A tiny prototype editor implements tile-based editing that disassembles terms into tiles and shards, uses a grouter and backpack to maintain convex shapes and… | ||
| nothing matches | ||