About

I am a Software Engineering PhD student at Carnegie Mellon University advised by Prof. Limin Jia. I develop programming languages and compilers for writing safe and efficient programs on heterogeneous, resource-constrained devices.

Publications

1. Bao: Automatic Region Placement and Memory Allocation for Intermittent Computing

   Byeongjee Kang, Jan Hoffmann, Limin Jia, Brandon Lucia, Feras Saad

   International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2027 (to appear) [code]

2. WAMI: Compilation to WebAssembly through MLIR without Losing Abstraction

   Byeongjee Kang, Harsh Desai, Limin Jia, Brandon Lucia

   International Conference on Managed Programming Languages and Runtimes (MPLR), 2026 [code]

3. Fray: An Efficient General-Purpose Concurrency Testing Platform for the JVM

   Ao Li, Byeongjee Kang, Vasudev Vikram, Isabella Laybourn, Samvid Dharanikota, Shrey Tiwari, Rohan Padhye

   Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), 2025 [code]

4. GraFeyn: Efficient Parallel Sparse Simulation of Quantum Circuits

   Sam Westrick, Pengyu Liu, Byeongjee Kang, Colin McDonald, Mike Rainey, Mingkuan Xu, Jatin Arora, Yongshan Ding, Umut A Acar

   Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2024

   Best Paper Award

5. Narrowing and Heuristic Search for Symbolic Reachability Analysis of Concurrent Object-Oriented Systems

   Byeongjee Kang, Kyungmin Bae

   Science of Computer Programming, 2024 [code]

6. Symbolic Reachability Analysis of Distributed Systems Using Narrowing and Heuristic Search

   Byeongjee Kang, Kyungmin Bae

   Formal Techniques for Safety-Critical Systems (FTSCS), 2022 [code]

Education

• Ph.D. in Software Engineering, Carnegie Mellon University, Aug 2023 – Present
• B.S. in Computer Science and Engineering & Mathematics, Pohang University of Science and Technology (POSTECH), Feb 2018 – Feb 2023
• High school diploma, Korea Science Academy of KAIST, Feb 2015 – Feb 2018

Experiences

• Research intern at Microsoft Research, May 2025 – Aug 2025
• Research intern at POSTECH Software Verification Laboratory, Feb 2022 – Dec 2022
• Software engineer at Kodebox, Jan 2020 – Dec 2021
• Research intern at POSTECH Programming Language Laboratory, Jun 2018 – Jun 2019

See my CV for more information.

Ongoing Research Projects

• Automatic Program Rescaling and Migration: Programming language and runtime support for automatically rescaling programs for resource-constrained systems
• Probabilistic Modeling and Analysis Tools for Intermittent System: Probabilistic modeling of resource usage in intermittent systems

Software

• Bao: LLVM toolchain that instruments programs for batteryless devices by solving a mixed-integer linear program
• WAMI: MLIR-based compilation pipeline for WebAssembly
• OCaMI: Compiler from a functional subset of OCaml to WebAssembly through WAMI
• rustlane: ISPC-style SPMD programming for Rust, lowering scalar control flow to masked SIMD
• Fray: Controlled concurrency testing framework for the JVM
• heuristic-narrowing-search: Maude implementation of narrowing-based symbolic reachability analysis
• CodeChain Foundry: Open-source blockchain engine based on composable module system

Talks

• An MLIR Dialect for WebAssembly (WAW’25)

Honors and Scholarships

• ILJU Fellowship, ILJU Academy and Culture Foundation, Aug 2023 – Jul 2028
• Program for Highly Dedicated Students, POSTECH, Feb 2018 – Feb 2023
• Presidential Science Scholarship, Ministry of Education of Korea, Feb 2018 – Feb 2023