Justin Lubin
where else to find them
bluesky:justinlubin.bsky.social
what they talk about
all 5 in the filters
where they keep going back
- PLDI Workshop Honoring Andreas Podelski3 editions2024–2026
on a stage with
all 11 in the filters
who talks about the same things
- Sarah E. Chasins11 talks
- Nadia Polikarpova24 talks
- Işıl Dillig21 talks
- Steve Zdancewic19 talks
- Cyrus Omar21 talks
- Armando Solar-Lezama18 talks
| title | conference | date |
|---|---|---|
| Navigating AND–OR Graph Modifications to Debug Failing Proof Search | PLDI 2026 | 2026-06-15 |
Provides a concrete debugging method that navigates modifications to AND–OR graphs rather than the raw graph, implemented by compiling modification constraints… | ||
| Fast Direct Manipulation Programming with Patch-Reconciliation Correspondence | PLDI 2025 | 2025-06-16 |
Introduces a patch-recon architecture that pairs syntactic program patches with a semantic recon that directly updates map output (in-place updates of marks… | ||
| Programming by Navigation | PLDI 2025 | 2025-06-16 |
Defines Strong Completeness and Strong Soundness as showing all and only valid next edit steps, reduces synthesis to a type-inhabitation oracle, compiles types… | ||
| Equivalence by Canonicalization for Synthesis-Backed Refactoring | PLDI 2024 | 2024-06-24 |
Presents equivalence by canonicalization: run compiler-style syntactic transforms (deforestation, partial evaluation) on both direct and combinator sketches… | ||
| 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… | ||
| Sketch-n-Sketch: Output-Directed Programming for SVG | UIST 2019 | 2019-10-20 |
Sketch-n-Sketch extends output-directed programming for SVG by forbidding text edits and letting direct manipulation produce and edit real program constructs… | ||
| nothing matches | ||