Jaehyun Lee
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Sukyoung Ryu2×
- Andreas Rossbergonce
- Conrad Wattonce
all 11 in the filters
who talks about the same things
nobody close enough yet
| 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… | ||
| Bringing the WebAssembly Standard up to Speed with SpecTec | PLDI 2024 | 2024-06-24 |
SpecTec is a DSL and toolchain that serves as a single source of truth for Wasm semantics, generating typeset spec prose, formal definitions, and a meta-level… | ||
| nothing matches | ||