Taeyoung Yoon
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 18 in the filters
who talks about the same things
- Chung-Kil Hur10 talks
- Minki Cho6 talks
- Dongjae Lee5 talks
- Jaehyung Lee3 talks
- Janggun Lee7 talks
- Yonghyun Kim2 talks
| title | conference | date |
|---|---|---|
| CRIS: The Power of Imagination in Hybrid Verification | PLDI 2026 | 2026-06-15 |
Introduces CRIS, a framework that extends CCR with imaginary specifications—specs that intermix executable code and separation-logic assertions—to prove… | ||
| 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… | ||
| nothing matches | ||