byeongjee (at) cmu.edu

About

I am a Software Engineering PhD student at Carnegie Mellon University advised by Prof. Limin Jia. I develop programming language and compiler techniques for safe, efficient execution across heterogeneous systems.

Publications

  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
    Object-Oriented Programming Systems, Languages, and Applications (OOPSLA) 2025, 2025
  2. 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
  3. Narrowing and Heuristic Search for Symbolic Reachability Analysis of Concurrent Object-Oriented Systems
    Byeongjee Kang, Kyungmin Bae
    Science of Computer Programming, 2024
  4. 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. WAMI: Compilation to WebAssembly through MLIR without Losing Abstraction
    Byeongjee Kang, Harsh Desai, Limin Jia, Brandon Lucia
    2025
  2. Mr3: An Execution Framework for Hive and Spark
    Sungwoo Park, Seunggon Namgung, Byeongjee Kang
    2023

Education

Experiences

See my CV for more information.

Talks