Jaehyun Lee -

Registered user since Fri 10 Oct 2025

Name:Jaehyun Lee

Country:South Korea

Affiliation:KAIST

Contributions

2025

HATRA

Author of P4-SpecTec: A Language Mechanization Framework for P4 within the HATRA 2025-track

PLSS

Author of P4-SpecTec: Mechanized Language Definition for P4 within the PLSS-track

2024

PLDI

Author of Bringing the WebAssembly Standard up to Speed with SpecTec within the PLDI Research Papers-track