Kwanghoon Choi

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 18

Top Topics

Database Query Languages

Lambda Calculus

Top Venues

KSII Trans. Internet Inf. Syst.

Sci. Comput. Program.

Publications

Kwanghoon Choi, Sooyeon Hwang, Hyeonah Moon, Isao Sasano
Ranked Syntax Completion With LR Parsing. SAC (2024)
Isao Sasano, Kwanghoon Choi
A text-based syntax completion method using LR parsing and its evaluation. Sci. Comput. Program. 228 (2023)
Byeong-Mo Chang, Kyung-min Lee, Ga-young Koh, Kwanghoon Choi
SmartProvenance: User-friendly provenance system for internet of things applications based on event flow graphs. IET Softw. 16 (6) (2022)
Kwanghoon Choi, Byeong-Mo Chang
A Theory of RPC Calculi for Client-Server Model. CoRR (2021)
Kwanghoon Choi, James Cheney, Sam Lindley, Bob Reynders
A Typed Slicing Compilation of the Polymorphic RPC Calculus. CoRR (2021)
Bob Reynders, Kwanghoon Choi
Rec.HTML: Declarative HTML. Programming (2021)
Kwanghoon Choi, James Cheney, Sam Lindley, Bob Reynders
A Typed Slicing Compilation of the Polymorphic RPC calculus. PPDP (2021)
Isao Sasano, Kwanghoon Choi
A text-based syntax completion method using LR parsing. PEPM@POPL (2021)
Kwanghoon Choi, Jai-Hoon Kim
UAV path planning method for avoiding restricted areas. Intell. Serv. Robotics 14 (5) (2021)
Nayeon Bak, Byeong-Mo Chang, Kwanghoon Choi
SmartVisual: a visualisation tool for SmartThings IoT Apps using static analysis. IET Softw. 14 (4) (2020)
Kwanghoon Choi, James Cheney, Simon Fowler, Sam Lindley
A polymorphic RPC calculus. Sci. Comput. Program. 197 (2020)
Byeong-Mo Chang, Janine Cassandra Son, Kwanghoon Choi
A GQM Approach to Evaluation of the Quality of SmartThings Applications Using Static Analysis. KSII Trans. Internet Inf. Syst. 14 (6) (2020)
Nayeon Bak, Byeong-Mo Chang, Kwanghoon Choi
Smart Block: A visual block language and its programming environment for IoT. J. Comput. Lang. 60 (2020)
Kwanghoon Choi, James Cheney, Simon Fowler, Sam Lindley
A Polymorphic RPC Calculus. CoRR (2019)
Kwanghoon Choi, Byeong-Mo Chang
A theory of RPC calculi for client-server model. J. Funct. Program. 29 (2019)
Nayeon Bak, Byeong-Mo Chang, Kwanghoon Choi
Smart Block: A Visual Programming Environment for SmartThings. COMPSAC (2) (2018)
Kwanghoon Choi, Myungpil Ko, Byeong-Mo Chang
A Practical Intent Fuzzing Tool for Robustness of Inter-Component Communication in Android Apps. KSII Trans. Internet Inf. Syst. 12 (9) (2018)
Byeong-Mo Chang, Kwanghoon Choi
A review on exception analysis. Inf. Softw. Technol. 77 (2016)
Kwanghoon Choi, Byeong-Mo Chang
A lightweight approach to component-level exception mechanism for robust android apps. Comput. Lang. Syst. Struct. 44 (2015)
Kwanghoon Choi, Byeong-Mo Chang
A type and effect system for activation flow of components in Android programs. Inf. Process. Lett. 114 (11) (2014)
Kwanghoon Choi, Jaekwon Kim, Seog Park
A secure application invocation mechanism in mobile phones for Near Field Communication. ICCE (2012)
Jeongsik Yun, Sanghyun Bak, Nulibyul Kim, Kwanghoon Choi, Jaekwon Kim
Video streaming exploiting multiple-antenna techniques of wirelessMAN-advanced systems. IEEE Trans. Consumer Electron. 58 (3) (2012)
Jeongsik Yun, Sanghyun Bak, Nulibyul Kim, Kwanghoon Choi, Jaekwon Kim
Video streaming exploiting multiple-antenna technique of WirelessMAN-Advanced system. ICCE (2012)
Kwanghoon Choi, Seog Park
Typing ZINC Machine with Generalized Algebraic Data Types. IEICE Trans. Inf. Syst. (6) (2011)
Kwanghoon Choi, Atsushi Ohori
A Type Theory for Krivine-Style Evaluation and Compilation. APLAS (2004)
Kwanghoon Choi, Taisook Han
A type system for the push-enter model. Inf. Process. Lett. 87 (4) (2003)
Kwanghoon Choi, Hyun-il Lim, Taisook Han
Compiling Lazy Functional Programs Based on the Spineless Tagless G-Machine for the Java Virtual Machine. FLOPS (2001)
Kwanghoon Choi, Taisook Han
A Type System for the Push-Enter Model. APLAS (2001)