Seokhun Jeong
where else to find them
what they talk about
where they keep going back
no series more than once — all 1 in the filters
on a stage with
- Jaehyun Leeonce
- Sukyoung Ryuonce
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| P4-SpecTec: A Language Mechanization Framework for P4 | HATRA 2025 | 2025-10-14 |
P4-SpecTec defines a computable specification model for P4 using algorithmic inference rules (a constrained Wasm-SpecTec–style meta language), mechanizes… | ||
| nothing matches | ||