About

I am a Software Engineering PhD student at Carnegie Mellon University advised by Limin Jia. My research interests span across compilers, programming languages, formal methods, and software engineering

Publications

1. 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
2. Narrowing and Heuristic Search for Symbolic Reachability Analysis of Concurrent Object-Oriented Systems

   Byeongjee Kang, Kyungmin Bae

   Science of Computer Programming, 2024
3. Symbolic Reachability Analysis of Distributed Systems Using Narrowing and Heuristic Search

   Byeongjee Kang, Kyungmin Bae

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

Preprints

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

   Submitted to OOPSLA, 2025
2. WAMI: Compilation to WebAssembly through MLIR without Losing Abstraction

   Byeongjee Kang, Harsh Desai, Limin Jia, Brandon Lucia

   Submitted to OOPSLA, 2025
3. 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.

Talks

• An MLIR Dialect for WebAssembly (WAW’25)