Modular Component-Based Quantum Circuit Synthesis. - Chan Gu Kang; Hakjoo Oh (Proc. ACM Program. Lang., 2023)

Quantum Probabilistic Model Checking for Time-Bounded Properties. - Seungmin Jeon; Kyeongmin Cho; Chan Gu Kang; Janggun Lee; Hakjoo Oh; Jeehoon Kang (Proc. ACM Program. Lang., 2024)

Statistical Testing of Quantum Programs via Fixed-Point Amplitude Amplification. - Chan Gu Kang; Joonghoon Lee; Hakjoo Oh (Proc. ACM Program. Lang., 2024)