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.
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
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)
Experience
- Bytecode Alliance Recognized Contributor (2026 Jan - present) [roaster]
- Best TA Award, CS.30408: Introduction to Information Security, KAIST School of Computing (2025 Spring)
- Programming Systems Laboratory, KAIST (2024 Jan - present)
- Software Developer, Datamaker (2020)
- Served as a KATUSA tanker in Republic of Korea Army (2021 Feb - 2022 Aug)