Yonghyun Kim
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 1 in the filters
on a stage with
- Chung-Kil Hur2×
- Jaehyung Leeonce
- Jinwoo Kimonce
all 8 in the filters
who talks about the same things
- Sung-Hwan Lee2 talks
- Chung-Kil Hur10 talks
- Taeyoung Yoon3 talks
- Jaehyung Lee3 talks
- Yoonseung Kim3 talks
- Youngju Song6 talks
| title | conference | date |
|---|---|---|
| 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… | ||
| VeriRT: An End-To-End Verification Framework for Real-Time Distributed Systems | POPL 2025 | 2025-01-19 |
VeriRT provides an end-to-end framework that links abstract timed specs to assembly by (1) embedding low-level timing assumptions into operational semantics… | ||
| nothing matches | ||