Soonwon Moon
where else to find them
what they talk about
their talks carry no tags yet
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2023–2026
on a stage with
- Chung-Kil Hur2×
- Donghyun Namonce
- Dongjae Leeonce
all 15 in the filters
who talks about the same things
- Taeyoung Yoon3 talks
- Chung-Kil Hur10 talks
- Minki Cho6 talks
- Dongjae Lee5 talks
- Jaehyung Lee3 talks
- Youngju Song6 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… | ||
| 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… | ||
| nothing matches | ||