Didrik Lundberg

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 3

Top Topics

Operational Semantics

Recursive Programs

Top Venues

Proc. ACM Program. Lang.

Publications

Anoud Alshnakat, Didrik Lundberg, Roberto Guanciale, Mads Dam
HOL4P4: Mechanized Small-Step Semantics for P4. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Anoud Alshnakat, Didrik Lundberg, Roberto Guanciale, Mads Dam, Karl Palmskog
HOL4P4: semantics for a verified data plane. EuroP4@CoNEXT (2022)
Didrik Lundberg, Roberto Guanciale, Andreas Lindner, Mads Dam
Hoare-Style Logic for Unstructured Programs. SEFM (2020)