Compiling Lazy Functional Programs Based on the Spineless Tagless G-Machine for the Java Virtual Machine. - Kwanghoon Choi 001; Hyun-il Lim; Taisook Han (FLOPS, 2001)

A type system for the push-enter model. - Kwanghoon Choi 001; Taisook Han (Inf. Process. Lett., 2003)

A Type Theory for Krivine-Style Evaluation and Compilation. - Kwanghoon Choi 001; Atsushi Ohori (APLAS, 2004)

Typing ZINC Machine with Generalized Algebraic Data Types. - Kwanghoon Choi 001; Seog Park (IEICE Trans. Inf. Syst., 2011)

A secure application invocation mechanism in mobile phones for Near Field Communication. - Kwanghoon Choi 001; Jaekwon Kim; Seog Park (ICCE, 2012)

Video streaming exploiting multiple-antenna technique of WirelessMAN-Advanced system. - Jeongsik Yun; Sanghyun Bak; Nulibyul Kim; Kwanghoon Choi 001; Jaekwon Kim (ICCE, 2012)

Video streaming exploiting multiple-antenna techniques of wirelessMAN-advanced systems. - Jeongsik Yun; Sanghyun Bak; Nulibyul Kim; Kwanghoon Choi 001; Jaekwon Kim (IEEE Trans. Consumer Electron., 2012)

A type and effect system for activation flow of components in Android programs. - Kwanghoon Choi 001; Byeong-Mo Chang (Inf. Process. Lett., 2014)

A lightweight approach to component-level exception mechanism for robust android apps. - Kwanghoon Choi 001; Byeong-Mo Chang (Comput. Lang. Syst. Struct., 2015)

A review on exception analysis. - Byeong-Mo Chang; Kwanghoon Choi 001 (Inf. Softw. Technol., 2016)

Smart Block: A Visual Programming Environment for SmartThings. - Nayeon Bak; Byeong-Mo Chang; Kwanghoon Choi 001 (COMPSAC (2), 2018)

A Practical Intent Fuzzing Tool for Robustness of Inter-Component Communication in Android Apps. - Kwanghoon Choi 001; Myungpil Ko; Byeong-Mo Chang (KSII Trans. Internet Inf. Syst., 2018)

A theory of RPC calculi for client-server model. - Kwanghoon Choi 001; Byeong-Mo Chang (J. Funct. Program., 2019)

SmartVisual: a visualisation tool for SmartThings IoT Apps using static analysis. - Nayeon Bak; Byeong-Mo Chang; Kwanghoon Choi 001 (IET Softw., 2020)

A GQM Approach to Evaluation of the Quality of SmartThings Applications Using Static Analysis. - Byeong-Mo Chang; Janine Cassandra Son; Kwanghoon Choi 001 (KSII Trans. Internet Inf. Syst., 2020)

A polymorphic RPC calculus. - Kwanghoon Choi 001; James Cheney; Simon Fowler 001; Sam Lindley (Sci. Comput. Program., 2020)

Smart Block: A visual block language and its programming environment for IoT. - Nayeon Bak; Byeong-Mo Chang; Kwanghoon Choi 001 (J. Comput. Lang., 2020)

A text-based syntax completion method using LR parsing. - Isao Sasano; Kwanghoon Choi 001 (PEPM@POPL, 2021)

A Typed Slicing Compilation of the Polymorphic RPC calculus. - Kwanghoon Choi 001; James Cheney; Sam Lindley; Bob Reynders (PPDP, 2021)

Rec.HTML: Declarative HTML. - Bob Reynders; Kwanghoon Choi 001 (Programming, 2021)

UAV path planning method for avoiding restricted areas. - Kwanghoon Choi 001; Jai-Hoon Kim (Intell. Serv. Robotics, 2021)

SmartProvenance: User-friendly provenance system for internet of things applications based on event flow graphs. - Byeong-Mo Chang; Kyung-min Lee; Ga-young Koh; Kwanghoon Choi 001 (IET Softw., 2022)

A text-based syntax completion method using LR parsing and its evaluation. - Isao Sasano; Kwanghoon Choi 001 (Sci. Comput. Program., 2023)

Ranked Syntax Completion With LR Parsing. - Kwanghoon Choi 001; Sooyeon Hwang; Hyeon-Ah Moon; Isao Sasano (SAC, 2024)

Improving LLM-based code completion using LR parsing-based candidates. - Md Monir Ahammod Bin Atique; Kwanghoon Choi 001; Isao Sasano; Hyeon-Ah Moon (SCSS (Work in Progress), 2024)

Towards a Portable Implementation of a Visual Block Language for IoT Applications. - Kwanghoon Choi 001; Sujee Noh; Kyungjae Kim; Seungchan Park; Hyeon-Ah Moon; Byeong-Mo Chang (SERP4IoT, 2025)

Certified Robustness of Antenna Selecting Neural Networks for Massive MIMO Wireless Communications. - Jaekwon Kim; Hyo-Sang Lim; Kwanghoon Choi 001 (IEEE Access, 2025)

Improving LLM-based code completion using LR parsing. - Md Monir Ahammod Bin Atique; Hyeon-Ah Moon; Isao Sasano; Kwanghoon Choi 001 (J. Comput. Lang., 2025)