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

Software (GitHub)

• 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, Tree-sitter)
• Smart Block - A Visual Block Programming System for SmartThings (SW, YouTube, Demo, PDF, IoTA calculus)
• Hwacha - An Android intent fuzzer (SW, PDF)
• Android component activation flow analysis for a featherweight Android-Java (SW, PDF)
• Maejiri - LF Type Checker in Haskell (SW, Examples: FOL,HOL,Hoare,Presburger,STLC)
• A Tactical Theorem Prover for FOL in Paulson's ML book in Haskell (SW)

Research interests

• Software Security, AI/LLM, Fuzzing
• Static Analysis, Software engineering
• Functional programming, Compiler, Programming language design

Publications

• Recent Publications
• J. Kim, H. -S. Lim and K. Choi, "Certified Robustness of Antenna Selecting Neural Networks for Massive MIMO Wireless Communications," in IEEE Access, vol. 13, pp. 88609-88622, 2025, doi: 10.1109/ACCESS.2025.3570973. (PDF)
• Kwanghoon Choi, Sujee Noh , Kyungjae Kim , Seungchan Park , Hyeon-Ah Moon , Byeong-Mo Chang, Towards a Portable Implementation of a Visual Block Language for IoT Applications, 7th International Workshop on Software Engineering Research & Practices for the Internet of Things (SERP4IoT 2025), Ottawa, Canada, 27 April, 2025.
• 전세옥, 장현지, 정민수, 이서준, 오다영, 최광훈, 김석휘, 조성우, 김정미, 전기차 충전 인프라 오픈소스 소프트웨어에서의 취약한 코드 복제 탐지: VUDDY 를 활용한 사례 연구, 한국정보처리학회 ACK 2024, 전남대학교, 10월31일-11월2일. (PDF)
• 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), Tokyo, Japan, August 28-30, 2024.
• 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

• News / Awards / Students / Photos

Lectures

• 프로그래밍언어 설계 및 구현(Programming Languages): YouTube , 연습(Exercise)
• 애플리케이션보안-웹 보안(Application Security-Web Security)YouTube
• 컴파일러
• 프로그램 분석 기법(Program Analysis Techniques)
• 타입과 프로그래밍언어(Types and Programming Languages
• 함수형 프로그래밍/하스켈(Haskell): YouTube(Part1 Lecture 1-4)
• 오픈소스소프트웨어와 깃: YouTube
• 소프트웨어공학(Software Engineering): YouTube
• 디자인패턴(Design Patterns): YouTube, Examples, Slides
• C++ 프로그래밍(C++ Programming): YouTube
• 마이크로소프트 엑셀(Microsoft Excel): YouTube
• 마이크로소프트 파워포인트(Microsoft Powerpoint): YouTube
• E-class

Professional Services

• VISSOFT 2024 , 2025 (IEEE Working Conference on Software Visualization, Program Committee)
• MSFP 2020 (Workshop on Mathematically Structured Functional Programming, Program Committee)
• more

Etc.

• Links
• Memories