Dongjae Lee
where else to find them
no profile links on file
what they talk about
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2023–2026
- OOPSLA2 editions2023–2025
on a stage with
all 12 in the filters
who talks about the same things
- Minki Cho6 talks
- Chung-Kil Hur10 talks
- Youngju Song6 talks
- Janggun Lee7 talks
- Taeyoung Yoon3 talks
- Lennard Gäher7 talks
| title | conference | date |
|---|---|---|
| Expecto: Extracting Formal Specifications from Natural Language Description for(…) | PLDI 2026 | 2026-06-15 |
Expecto converts natural language intents into a concise DSL and uses a neuro-symbolic pipeline with GPT-4.1 Mini for synthesis and Z3 for validation, building… | ||
| Lilo: A Higher-Order, Relational Concurrent Separation Logic for Liveness | OOPSLA 2025 | 2025-10-16 |
Lilo is a higher-order concurrent separation logic that adds a promise mechanism to reason about liveness: threads record a promise list and must consume… | ||
| Stuttering for Free | OOPSLA 2023 | 2023-10-23 |
Presents FreeSim, a new stuttering-simulation technique mechanized in Coq that replaces the usual “synchronous progress” requirement with asynchronous… | ||
| Fair Operational Semantics | PLDI 2023 | 2023-06-17 |
Proposes FOS, an operational semantics that can encode arbitrary fairness notions and gives a concrete proof technique: a fairness counter that drops on bad… | ||
| Conditional Contextual Refinement | POPL 2023 | 2023-01-15 |
A new refinement notion, Conditional Contextual Refinement (CCR), combines separation-logic pre/post conditions with transitive contextual refinement by… | ||
| nothing matches | ||