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. 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]

2. 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]

3. 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

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

   Byeongjee Kang, Kyungmin Bae

   Science of Computer Programming, 2024 [code]

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

   Byeongjee Kang, Kyungmin Bae

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

Under Review

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

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

   2026 [code]

Preprints

1. Mr3: An Execution Framework for Hive and Spark

   Sungwoo Park, Seunggon Namgung, Byeongjee Kang

   2023

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