David Moon
where else to find them
no profile links on file
what they talk about
where they keep going back
all 4 in the filters
on a stage with
all 11 in the filters
who talks about the same things
- Andrew Blinn6 talks
- Cyrus Omar21 talks
- Eric Griffis2 talks
- Thomas J. Porter4 talks
- Yongwei Yuan6 talks
- Amal Ahmed25 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… | ||
| Live Pattern Matching with Typed Holes | OOPSLA 2023 | 2023-10-23 |
Supports exhaustiveness and redundancy checking for patterns that contain holes, maps those checks to first-order constraint entailments, and proves decidable… | ||
| 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… | ||
| Restructuring Structure Editing | LIVE 2021 | 2021-10-19 |
Claims that tile-based editing keeps programs always parseable while restoring textlike linear edits; prototypes a tiny editor called tyler that proves… | ||
| Flexible Structure Editing of Well-Typed Expressions | TyDe 2019 | 2019-08-18 |
Hazel enforces that every edit state is syntactically, statically and dynamically well-defined by combining typed holes with execution semantics that evaluate… | ||
| Livelits: Filling Typed Holes with Live GUIs | TyDe 2019 | 2019-08-18 |
Introduces live literals that let a GUI fill typed holes and expand to code via an explicit expand function; implemented in the Hazel editor using a… | ||
| nothing matches | ||