Sung-Hwan Lee
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 2 in the filters
on a stage with
- Chung-Kil Hur2×
- Minki Choonce
- Ori Lahavonce
all 6 in the filters
who talks about the same things
- Yonghyun Kim2 talks
- Chung-Kil Hur10 talks
- Minki Cho6 talks
- Taeyoung Yoon3 talks
- Youngju Song6 talks
- Roy Margalit3 talks
| title | conference | date |
|---|---|---|
| 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… | ||
| 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… | ||
| nothing matches | ||