Cyrus Omar
where else to find them
bluesky:neurocy.bsky.social
x:neurocy
what they talk about
all 13 in the filters
where they keep going back
all 11 in the filters
on a stage with
all 35 in the filters
who talks about the same things
- Eric Griffis2 talks
- Thomas J. Porter4 talks
- Andrew Blinn6 talks
- Amal Ahmed25 talks
- Eric Zhao3 talks
- David Moon7 talks
| title | conference | date |
|---|---|---|
| Introduction | PROPL 2026 | 2026-06-15 |
CO2 concentration exceeds 430 ppm in 2026 and the last three years are the hottest on record; biodiversity monitoring shows a 73% drop in the Living Planet… | ||
| Incremental Bidirectional Typing via Order Maintenance | OOPSLA 2025 | 2025-10-16 |
Presents a small-step incremental bidirectional type system that maintains binding pointers with an order maintenance data structure so inserts/deletes and… | ||
| 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… | ||
| A FAIR Case for a Live Computational Commons | PROPL 2025 | 2025-10-13 |
Proposal for a planetary-scale live computational commons called Fairground that stores thousands of executable artifacts, runs them with a distributed… | ||
| Incremental Bidirectional Typing via Order Maintenance | WITS 2025 | 2025-01-25 |
Presents an incremental algorithm that maintains total bidirectional typing for a gradually typed language via small-step update propagation that lets edits… | ||
| Grove: A Bidirectionally Typed Collaborative Structure Editor Calculus | POPL 2025 | 2025-01-19 |
Paper claims a version-control model that removes patch synthesis and three-way merge by making edits commute: edits become no diff or merge commutative… | ||
| Learner-Centered Design Criteria for Classroom Proof Assistants | HATRA 2024 | 2024-10-20 |
Survey synthesizes classroom reports into actionable design rules: error messages must be clear, local, and show which premises are correct (green feedback for… | ||
| Research Methods for Designing Next-Generation Programming Systems | HATRA 2024 | 2024-10-20 |
Claims a structure editor called Hazel makes every edit state syntactically, statically and dynamically well defined, with mechanized Agda proofs (a “cat… | ||
| 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… | ||
| Modularizing Reasoning about AI Capabilities via Abstract Dijkstra Monads | HOPE 2024 | 2024-09-02 |
Position proposes a Bastion OS design that uses Dijkstra monads and secIO in F to enforce capability-based, provable constraints on agent actions. Concrete… | ||
| 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… | ||
| 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… | ||
| Getting Productive in Research | PLMW @ ICFP 2023 | 2023-09-04 |
Panel lays out concrete moves: get at least one detailed research letter from someone who knows your work—letters are the most important factor for grad… | ||
| 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… | ||
| Program Sketching with Live Bidirectional Evaluation | ICFP 2020 | 2020-08-23 |
Smyth implements live bidirectional evaluation to run and unevaluate partial programs, turning assertions into per-hole constraints that are fed to Myth (used… | ||
| 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… | ||
| Hazel: A Live Functional Programming Environment with Typed Holes | Strange Loop 2018 | 2018-09-26 |
A web-based live programming environment implements an Elm-like language that automatically inserts typed holes so every editor state has both a static type… | ||
| nothing matches | ||