Chan Gu Kang
where else to find them
what they talk about
where they keep going back
- OOPSLA2 editions2023–2024
on a stage with
- Hakjoo Oh3×
- Janggun Leeonce
- Jeehoon Kangonce
all 6 in the filters
who talks about the same things
- Seungmin Jeon2 talks
- Kyeongmin Cho2 talks
- Hakjoo Oh11 talks
- Mingsheng Ying9 talks
- Nengkun Yu10 talks
- Chris Heunen8 talks
| title | conference | date |
|---|---|---|
| Statistical Testing of Quantum Programs via Fixed-Point Amplitude Amplification | OOPSLA 2024 | 2024-10-20 |
Proposes using fixed-point amplitude amplification to reduce the number of runs needed to statistically detect wrong output states, claiming reductions like… | ||
| 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… | ||
| Modular Component-Based Quantum Circuit Synthesis | OOPSLA 2023 | 2023-10-23 |
A synthesizer constructs quantum circuits from user-supplied component gates by performing enumerative search with pruning at the module-level search (modules… | ||
| nothing matches | ||