Consolidation: a technique for improving permissiveness of human-machine interfaces. - Sangheon Choi (SPLASH (Companion), 2020)

Approximating Output Probabilities of Shallow Quantum Circuits Which Are Geometrically-Local in Any Fixed Dimension. - Suchetan Dontha; Shi Jie Samuel Tan; Stephen Smith; Sangheon Choi; Matthew Coudron (TQC, 2022)

NaNofuzz: A Usable Tool for Automatic Test Generation. - Matthew C. Davis; Sangheon Choi; Sam Estep; Brad A. Myers; Joshua Sunshine (ESEC/SIGSOFT FSE, 2023)