Kyeongmin Cho
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
all 6 in the filters
who talks about the same things
- Seungmin Jeon2 talks
- Chan Gu Kang3 talks
- Janggun Lee7 talks
- Minki Cho6 talks
- Jeehoon Kang14 talks
- Hakjoo Oh11 talks
| title | conference | date |
|---|---|---|
| Quantum Probabilistic Model Checking for Time-Bounded Properties | OOPSLA 2024 | 2024-10-20 |
Encodes time-bounded probabilistic model checking as quantum circuits that superpose the 2^n state distribution, implements state transition circuits by… | ||
| Memento: A Framework for Detectable Recoverability in Persistent Memory | PLDI 2023 | 2023-06-17 |
Memento is a programming framework that proves and enforces detectable recoverability for persistent memory by using a timestamp-based recovery strategy plus… | ||
| nothing matches | ||