Chan-Gu Kang (강찬구)
Publications
2024
- Quantum Probabilistic Model Checking for Time-Bounded PropertiesSeungmin Jeon, Kyeongmin Cho, Chan Gu Kang, Janggun Lee, Hakjoo Oh, and Jeehoon KangOOPSLA 2024: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications[pdf]
- Statistical Testing of Quantum Programs via Fixed-Point Amplitude AmplificationChan Gu Kang, Joonghoon Lee, and Hakjoo OhOOPSLA 2024: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications[pdf] [appendix] [artifact]
2023
- Modular Component-Based Quantum Circuit SynthesisChan Gu Kang and Hakjoo OhOOPSLA 2023: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications[pdf]
Software Analysis Lab. @ Korea University