Jaehyun Lee -

Registered user since Fri 10 Oct 2025

Name:Jaehyun Lee

Country:Republic of Korea

Affiliation:KAIST

Contributions

2026

SPLASH

Author of P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification within the OOPSLA-track

ESEC/FSE

Author of Failing with Purpose: Dangling Coverage-Guided Negative Test Generation from a Mechanized P4 Type System within the Research Papers-track

PLDI

Organizer of Mechanized Specifications for Real-World Programming Languages within the Tutorials-track

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