Minki Cho
where else to find them
no profile links on file
what they talk about
where they keep going back
on a stage with
all 16 in the filters
who talks about the same things
- Chung-Kil Hur10 talks
- Dongjae Lee5 talks
- Youngju Song6 talks
- Taeyoung Yoon3 talks
- Janggun Lee7 talks
- Michael Sammler16 talks
| title | conference | date |
|---|---|---|
| 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… | ||
| Archmage and CompCertCast: End-to-End Verification Supporting Integer-Pointer Casting | POPL 2025 | 2025-01-19 |
Archmage defines a memory model that uses lazy valuation for int→ptr casts so the integer keeps its value until a pointer interpretation is required, allowing… | ||
| 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… | ||
| Putting Weak Memory in Order via a Promising Intermediate Representation | PLDI 2023 | 2023-06-17 |
Claims an in-order source semantics for C/C++ that preserves all common compiler optimizations for non-atomics by compiling to an out-of-order IR with… | ||
| 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 | ||