Byeongjee Kang -

Registered user since Mon 24 Oct 2022

Name:Byeongjee Kang

Country:United States

Affiliation:Carnegie Mellon University

Personal website: https://www.byeongjee.me/

GitHub: https://github.com/byeongjee

Contributions

2025

WAW

Author of An MLIR Dialect for WebAssembly within the WAW-track

2022

FTSCS

Author of Symbolic Reachability Analysis of Distributed Systems using Narrowing and Heuristic Search within the Formal Techniques for Safety-Critical Systems-track