Jaehyun Lee
Ph.D. Candidate
Programming Language Research Group (PLRG)
School of Computing, KAIST
99jaehyunlee [at] kaist.ac.kr
[ </GitHub> ]
About
I am a graduate student in the Programming Language Research Group at
KAIST, advised by Sukyoung Ryu. My research focuses on mechanizing
programming language definitions to improve their reliability and
precision. I lead the P4-SpecTec project, a language mechanization
framework for P4. P4-SpecTec is now (as of August 2026) conditionally
adopted as the official P4 specification authoring toolchain! Previously,
I contributed to the Wasm-SpecTec project, also part of the official
WebAssembly specification authoring toolchain. My goal is to make language specifications reliable,
robustly maintained, and better aligned with the needs of the developer
community.
Education
Ph.D., School of Computing, KAIST
Mar 2026 – Present
M.S., School of Computing, KAIST
Mar 2024 – Feb 2026
B.S., School of Computing, KAIST
Mar 2018 – Feb 2024
Cumulative GPA: 4.20/4.3
Publications
P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification
Jaehyun Lee, Seokhun Jeong, Sehyuk Ahn, Haechan Kwon, Sukyoung Ryu.
Proceedings of the ACM on Programming Languages (PACMPL), Issue: ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 2026. [
acm]
Failing with Purpose: Dangling Coverage-Guided Negative Test Generation from a Mechanized P4 Type System
Jaehyun Lee, Seokhun Jeong, Sukyoung Ryu.
ACM International Conference on the Foundations of Software Engineering (FSE), 2026. [
acm]
Bringing the WebAssembly Standard up to Speed with SpecTec
Dongjun Youn, Wonho Shin, Jaehyun Lee, Sukyoung Ryu, Joachim Breitner, Philippa Gardner, Sam Lindley, Matija Pretnar, Xiaojia Rao, Conrad Watt, Andreas Rossberg.
Proceedings of the ACM on Programming Languages (PACMPL), Issue: ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2024. [
acm]
Workshops
Mechanized Specifications for Real-World Programming Languages
Sukyoung Ryu, Seokhun Jeong, Jaehyun Lee, Jihong Min.
Tutorial at the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2026. [
link]
P4-SpecTec: A Language Mechanization Framework for P4
Jaehyun Lee, Seokhun Jeong, Sukyoung Ryu.
Human Aspects of Types and Reasoning Assistants (HATRA), 2025. [
▶ YouTube]
P4-SpecTec: Mechanized Language Definition for P4
Jaehyun Lee, Sukyoung Ryu.
Programming Language Standardization and Specification (PLSS), 2025. [
▶ YouTube]
P4-SpecTec: Mechanized Language Definition for P4
Jaehyun Lee, Yechan Woo, Nate Foster, Sukyoung Ryu.
Talks
Mechanizing the P4 Language Specification with P4-SpecTec
Jaehyun Lee, Seokhun Jeong, Sukyoung Ryu.
Posts
Porting the OCaml Implementation of P4-SpecTec to Rust, using AI Agents
October 2026.
내가 PL 연구를 이해하는 방법 (1) - Marktoberdorf 여름학교로 알아보는 연구 지도 (地圖) 그리기
September 2026. (in Korean)
Last updated: October 2026.