Software Languages and Systems Laboratory for Security
- Kwanghoon Choi (CV)
- Professor (September 2021 - ), Chonnam National University
- Address: 77 Yongbong-ro, Buk-gu, Gwangju, 61186, Korea
- Email: kwanghoon.choiXjnu.ac.kr (where X is @)
- Tel: {+82,0} 62-530-3421
- Fax: {+82,0} 62-530-3439
- Office: No.442, Engineering Building 7
- PolyRpc - A multi-tier functional programming language for the Web
(SW,
PDFs)
- YAPB - A programmable LALR parser building system in Haskell
(SW,
Hackage,
PDFs)
- Bidirectional type checking algorithms for (predicative) System F
(SW)
- MySmallBasic - A Microsoft SmallBasic Coding System with a debugger
(SW,
YouTube,
PDF)
- Smart Block - A Visual Programming System for SmartThings Apps
(SW,
YouTube,
Demo,
PDF)
- Hwacha - An Android intent fuzzer
(SW,
PDF)
- Android component activation flow analysis for a featherweight Android-Java
(SW,
PDF)
Research interests
- Visit here for more information if you are interested in my laboratory.
Publications
- Recent Publications
- 전세옥, 장현지, 정민수, 이서준, 오다영, 최광훈, 김석휘, 조성우, 김정미,
전기차 충전 인프라 오픈소스 소프트웨어에서의 취약한 코드 복제 탐지: VUDDY 를 활용한 사례 연구,
한국정보처리학회 ACK 2024, 전남대학교, 10월31일-11월2일.
- Md Monir Ahammod Bin Atique, Kwanghoon Choi, Isao Sasano and Hyeon-Ah Moon,
Improving LLM-based Code Completion Using LR Parsing-Based Candidates (Work-in-progress),
Symbolic Computation in Software Science (SCSS), August 28-30, 2024, Tokyo, Japan.
- Kwanghoon Choi, Sooyeon Hwang, Hyeonah Moon, Isao Sasano,
Ranked Syntax Completion Using LR Parsing, ACM/SIGAPP Symposium on
Applied Computing, pp.1242-1251, Avila, Spain, April 8-12, 2024.
(PDF,
DOI,
SLIDE)
-
by Dates /
by Categories /
Google Scholar /
DBLP
Laboratory
Lectures
Professional Services
Etc.
Last Updated: 22 July 2024.