Kwanghoon Choi

According to our database, Kwanghoon Choi authored at least 25 papers between 2001 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Improving LLM-based code completion using LR parsing-based candidates.

Md Monir Ahammod Bin Atique, Kwanghoon Choi, Isao Sasano, Hyeon-Ah Moon

Proceedings of the SCSS 2024 Work in Progress Workshop co-located with 10th International Symposium on Symbolic Computation in Software Science (SCSS 2024), 2024

Ranked Syntax Completion With LR Parsing.

Kwanghoon Choi, Sooyeon Hwang, Hyeon-Ah Moon, Isao Sasano

Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024

2023

A text-based syntax completion method using LR parsing and its evaluation.

Isao Sasano, Kwanghoon Choi

Sci. Comput. Program., June, 2023

2022

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

IET Softw., December, 2022

2021

UAV path planning method for avoiding restricted areas.

Kwanghoon Choi, Jai-Hoon Kim

Intell. Serv. Robotics, 2021

Rec.HTML: Declarative HTML.

Bob Reynders, Kwanghoon Choi

Proceedings of the Programming '21: 5th International Conference on the Art, 2021

A Typed Slicing Compilation of the Polymorphic RPC calculus.

Kwanghoon Choi, James Cheney, Sam Lindley, Bob Reynders

Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021

A text-based syntax completion method using LR parsing.

Isao Sasano, Kwanghoon Choi

Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2021

2020

Smart Block: A visual block language and its programming environment for IoT.

Nayeon Bak, Byeong-Mo Chang, Kwanghoon Choi

J. Comput. Lang., 2020

A polymorphic RPC calculus.

Kwanghoon Choi, James Cheney, Simon Fowler, Sam Lindley

Sci. Comput. Program., 2020

A GQM Approach to Evaluation of the Quality of SmartThings Applications Using Static Analysis.

Byeong-Mo Chang, Janine Cassandra Son, Kwanghoon Choi

KSII Trans. Internet Inf. Syst., 2020

SmartVisual: a visualisation tool for SmartThings IoT Apps using static analysis.

Nayeon Bak, Byeong-Mo Chang, Kwanghoon Choi

IET Softw., 2020

2019

A theory of RPC calculi for client-server model.

Kwanghoon Choi, Byeong-Mo Chang

J. Funct. Program., 2019

2018

A Practical Intent Fuzzing Tool for Robustness of Inter-Component Communication in Android Apps.

Kwanghoon Choi, Myungpil Ko, Byeong-Mo Chang

KSII Trans. Internet Inf. Syst., 2018

Smart Block: A Visual Programming Environment for SmartThings.

Nayeon Bak, Byeong-Mo Chang, Kwanghoon Choi

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

2016

A review on exception analysis.

Byeong-Mo Chang, Kwanghoon Choi

Inf. Softw. Technol., 2016

2015

A lightweight approach to component-level exception mechanism for robust android apps.

Kwanghoon Choi, Byeong-Mo Chang

Comput. Lang. Syst. Struct., 2015

2014

A type and effect system for activation flow of components in Android programs.

Kwanghoon Choi, Byeong-Mo Chang

Inf. Process. Lett., 2014

2012

Video streaming exploiting multiple-antenna techniques of wirelessMAN-advanced systems.

Jeongsik Yun, Sanghyun Bak, Nulibyul Kim, Kwanghoon Choi, Jaekwon Kim

IEEE Trans. Consumer Electron., 2012

Video streaming exploiting multiple-antenna technique of WirelessMAN-Advanced system.

Jeongsik Yun, Sanghyun Bak, Nulibyul Kim, Kwanghoon Choi, Jaekwon Kim

Proceedings of the IEEE International Conference on Consumer Electronics, 2012

A secure application invocation mechanism in mobile phones for Near Field Communication.

Kwanghoon Choi, Jaekwon Kim, Seog Park

Proceedings of the IEEE International Conference on Consumer Electronics, 2012

2011

Typing ZINC Machine with Generalized Algebraic Data Types.

Kwanghoon Choi, Seog Park

IEICE Trans. Inf. Syst., 2011

2004

A Type Theory for Krivine-Style Evaluation and Compilation.

Kwanghoon Choi, Atsushi Ohori

Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

2003

A type system for the push-enter model.

Kwanghoon Choi, Taisook Han

Inf. Process. Lett., 2003

2001

Compiling Lazy Functional Programs Based on the Spineless Tagless G-Machine for the Java Virtual Machine.

Kwanghoon Choi, Hyun-il Lim, Taisook Han

Proceedings of the Functional and Logic Programming, 5th International Symposium, 2001