We develop foundations and tools for high-quality and cost-effective software systems on next-generation computing platforms.
Publications
- Statically Typed and Purely Functional EOPL, Asian Symposium on Programming Languages and Systems (APLAS 2026), December 2026(Accepted for Publication)
- SW μ·¨μ½μ νμ§μμ ν¨μΉ κΈ°λ° λ°μ΄ν°μ μ ν¨μ λΌλ²¨λ§ νκ³μ νΈλ μ΄μ€ λ¨μ λ°μ΄ν°μ κ΅¬μΆ λ° νκ°, μ€λ§νΈλ―Έλμ΄μ λ (κ²μ¬ μΉμΈ), 2026λ 8μ.
- Fully Automated End-to-End Adversary Emulation from MITRE ATT\&CK Based Cyber Threat Intelligence Using LLMs, July 2026(PDF at arXiv)
- HA-SmartBlock: An Event-Condtion-Action-Based Visual Block System for Home Assistant, June 2026 (PDF at SSRN)
- DPLL(T) κΈ°λ° ReLU μ κ²½λ§ κ²μ¦μ μν κ΅μ‘μ© μ€νμμ€ μννΈμ¨μ΄ κ°λ°, 2026λ νκ΅μ 보보νΈνν νκ³νμ λν(CISC-S'26), 2026λ 5μ7-8μΌ, λΆμ° 벑μ€μ½ μ 2μ μμ₯.
- A Visual Block Programming Environment for Home Assistant: A Progress Report, 8th Int'l Workshop on Software Engineering Research and Practices for the Iot, Rio De Janeiro, Brazil, April 12-18, 2026.
- Improving LLM-based Code Completion Using LR Parsing, Journal of Computer Languages, September, 2025. (LINK)
- Certified Robustness of Antenna Selecting Neural Networks for Massive MIMO Wireless Communications, IEEE Access, May, 2025. (PDF)
Laboratory
Lectures
- Programming Languages
- Application Security-Web Security
- Compilers
- Program Analysis Techniques Lecture notes(in Korean)
- Functional Programming, Haskell (Part1 Lecture 1-4)
- E-class