Symbolic Reachability Analysis of Distributed Systems using Narrowing and Heuristic Search. - Byeongjee Kang; Kyungmin Bae (FTSCS, 2022)

GraFeyn: Efficient Parallel Sparse Simulation of Quantum Circuits. - Sam Westrick; Pengyu Liu; Byeongjee Kang; Colin McDonald; Mike Rainey; Mingkuan Xu; Jatin Arora 002; Yongshan Ding 001; Umut A. Acar (QCE, 2024)

Narrowing and heuristic search for symbolic reachability analysis of concurrent object-oriented systems. - Byeongjee Kang; Kyungmin Bae (Sci. Comput. Program., 2024)

Fray: An Efficient General-Purpose Concurrency Testing Platform for the JVM. - Ao Li 009; Byeongjee Kang; Vasudev Vikram; Isabella Laybourn; Samvid Dharanikota; Shrey Tiwari; Rohan Padhye (CoRR, 2025)

WAMI: Compilation to WebAssembly through MLIR without Losing Abstraction. - Byeongjee Kang; Harsh Desai; Limin Jia 001; Brandon Lucia (CoRR, 2025)