Kwanghoon Choi

32 papers B 2C 3Misc 2Journal 20Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Certified Robustness of Antenna Selecting Neural Networks for Massive MIMO Wireless Communications.
IEEE Access
Jaekwon Kim, Hyo-Sang Lim, Kwanghoon Choi
2025 J jnl
Improving LLM-based code completion using LR parsing.
J. Comput. Lang.
Md Monir Ahammod Bin Atique, Hyeon-Ah Moon, Isao Sasano, Kwanghoon Choi
2025 — conf
Towards a Portable Implementation of a Visual Block Language for IoT Applications.
SERP4IoT
Kwanghoon Choi, Sujee Noh, Kyungjae Kim, Seungchan Park, Hyeon-Ah Moon, Byeong-Mo Chang
2024 — conf
Improving LLM-based code completion using LR parsing-based candidates.
SCSS (Work in Progress)
Md Monir Ahammod Bin Atique, Kwanghoon Choi, Isao Sasano, Hyeon-Ah Moon
2024 Misc conf
Ranked Syntax Completion With LR Parsing.
SAC
Kwanghoon Choi, Sooyeon Hwang, Hyeon-Ah Moon, Isao Sasano
2023 J jnl
A text-based syntax completion method using LR parsing and its evaluation.
Sci. Comput. Program.
Isao Sasano, Kwanghoon Choi
2022 J jnl
SmartProvenance: User-friendly provenance system for internet of things applications based on event flow graphs.
IET Softw.
Byeong-Mo Chang, Kyung-Min Lee, Ga-young Koh, Kwanghoon Choi
2021 J jnl
A Theory of RPC Calculi for Client-Server Model.
CoRR
Kwanghoon Choi, Byeong-Mo Chang
2021 J jnl
A Typed Slicing Compilation of the Polymorphic RPC Calculus.
CoRR
Kwanghoon Choi, James Cheney, Sam Lindley, Bob Reynders
2021 C conf
A Typed Slicing Compilation of the Polymorphic RPC calculus.
PPDP
Kwanghoon Choi, James Cheney, Sam Lindley, Bob Reynders
2021 — conf
A text-based syntax completion method using LR parsing.
PEPM@POPL
Isao Sasano, Kwanghoon Choi
2021 — conf
Rec.HTML: Declarative HTML.
Programming
Bob Reynders, Kwanghoon Choi
2021 J jnl
UAV path planning method for avoiding restricted areas.
Intell. Serv. Robotics
Kwanghoon Choi, Jai-Hoon Kim
2020 J jnl
A GQM Approach to Evaluation of the Quality of SmartThings Applications Using Static Analysis.
KSII Trans. Internet Inf. Syst.
Byeong-Mo Chang, Janine Cassandra Son, Kwanghoon Choi
2020 J jnl
A polymorphic RPC calculus.
Sci. Comput. Program.
Kwanghoon Choi, James Cheney, Simon Fowler, Sam Lindley
2020 J jnl
Smart Block: A visual block language and its programming environment for IoT.
J. Comput. Lang.
Nayeon Bak, Byeong-Mo Chang, Kwanghoon Choi
2020 J jnl
SmartVisual: a visualisation tool for SmartThings IoT Apps using static analysis.
IET Softw.
Nayeon Bak, Byeong-Mo Chang, Kwanghoon Choi
2019 J jnl
A Polymorphic RPC Calculus.
CoRR
Kwanghoon Choi, James Cheney, Simon Fowler, Sam Lindley
2019 J jnl
A theory of RPC calculi for client-server model.
J. Funct. Program.
Kwanghoon Choi, Byeong-Mo Chang
2018 J jnl
A Practical Intent Fuzzing Tool for Robustness of Inter-Component Communication in Android Apps.
KSII Trans. Internet Inf. Syst.
Kwanghoon Choi, Myungpil Ko, Byeong-Mo Chang
2018 — conf
Smart Block: A Visual Programming Environment for SmartThings.
COMPSAC (2)
Nayeon Bak, Byeong-Mo Chang, Kwanghoon Choi
2016 J jnl
A review on exception analysis.
Inf. Softw. Technol.
Byeong-Mo Chang, Kwanghoon Choi
2015 J jnl
A lightweight approach to component-level exception mechanism for robust android apps.
Comput. Lang. Syst. Struct.
Kwanghoon Choi, Byeong-Mo Chang
2014 J jnl
A type and effect system for activation flow of components in Android programs.
Inf. Process. Lett.
Kwanghoon Choi, Byeong-Mo Chang
2012 C conf
A secure application invocation mechanism in mobile phones for Near Field Communication.
ICCE
Kwanghoon Choi, Jaekwon Kim, Seog Park
2012 C conf
Video streaming exploiting multiple-antenna technique of WirelessMAN-Advanced system.
ICCE
Jeongsik Yun, Sanghyun Bak, Nulibyul Kim, Kwanghoon Choi, Jaekwon Kim
2012 J jnl
Video streaming exploiting multiple-antenna techniques of wirelessMAN-advanced systems.
IEEE Trans. Consumer Electron.
Jeongsik Yun, Sanghyun Bak, Nulibyul Kim, Kwanghoon Choi, Jaekwon Kim
2011 J jnl
Typing ZINC Machine with Generalized Algebraic Data Types.
IEICE Trans. Inf. Syst.
Kwanghoon Choi, Seog Park
2004 B conf
A Type Theory for Krivine-Style Evaluation and Compilation.
APLAS
Kwanghoon Choi, Atsushi Ohori
2003 J jnl
A type system for the push-enter model.
Inf. Process. Lett.
Kwanghoon Choi, Taisook Han
2001 B conf
A Type System for the Push-Enter Model.
APLAS
Kwanghoon Choi, Taisook Han
2001 Misc conf
Compiling Lazy Functional Programs Based on the Spineless Tagless G-Machine for the Java Virtual Machine.
FLOPS
Kwanghoon Choi, Hyun-il Lim, Taisook Han