Bongjun Jang
I'm a Master's student at KAIST School of Computing. I'm interested in applying formal methods (PL, Logics) and AI to real-world systems. So far, I have focused on compiler research: automatically finding optimization bugs and generating optimizations rules with formal guarantees.
You can find me on Github, or email me via bongjun.jang@kaist.ac.kr. I sometimes write blog posts on what I have read, my thoughts and experiences.
Education
- M.S. in Computer Science, KAIST, Korea (2025 Feb. - 2027 Feb. expected)
- B.S. in Computer Science, KAIST, Korea (2018 - 2025. Feb)
- Minor in Cybersecurity, NYU (2023 Fall)
Publications
- Optimization-Directed Compiler Fuzzing for Continuous Translation
Validation
- Jaeseong Kwon, Bongjun Jang, Juneyoung Lee, and Kihong Heo
- [paper] [slides] [presentation]
- PLDI 2025: ACM SIGPLAN Conference on Programming Language Design and Implementation
Teaching
- Best TA Award: Introduction to Information Security (CS.30408), KAIST School of Computing (2025 Spring)
- Program Reasoning (CS.40204), KAIST School of Computing (2026 Fall)
Experience
Open Source Software
Research and Work
- Programming Systems Laboratory, KAIST (2024 Jan - present)
- Software Developer, Datamaker (2020)
Military Service
- Served as a Korean Augumented to US Army (KATUSA) tanker in Republic of Korea Army (2021 Feb - 2022 Aug)