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

   Byeongjee Kang, Kyungmin Bae

   Science of Computer Programming, 2024
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
3. Symbolic Reachability Analysis of Distributed Systems Using Narrowing and Heuristic Search

   Byeongjee Kang, Kyungmin Bae

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

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 POSTECH Software Verification Laboratory, Feb 2022 — Dec 2022
• Software engineer at Kodebox, Jan 2020 — Dec 2021
• Research intern at POSTECH Programming Language Laboratory, June 2018 — June 2019

See my CV for more information.