P4 Developer Days – P4-SpecTec Tutorial: A Project-Based Introduction with Nano-P4

Abstract

As P4-SpecTec advances towards official adoption into the P4 specification pipeline, authors face a learning curve in writing and maintaining mechanized specifications. This tutorial, Mechanizing the Nano-P4 specification with P4-SpecTec, provides a project-based introduction designed for newcomers and P4 specification authors. Through an end-to-end case study on a reduced language dialect, readers will gain the foundational skills that can be applied to real-world language mechanization projects.

Speaker

Haechan Kwon is an undergraduate student at KAIST and a student researcher at KAIST-PLRG. He is a core contributor to P4-SpecTec, focusing on mechanized specifications for the P4 language ecosystem.