About

I am a Software Engineering PhD student at Carnegie Mellon University. My research interests span across programming languages, parallel computing, software engineering, and formal methods.

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. 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. Mr3: An Execution Framework for Hive and Spark

   Sungwoo Park, Seunggon Namgung, Byeongjee Kang

   Journal of Distibuted and Parallel Computing, 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 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.