Anoud Alshnakat

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 2

Top Topics

Natural Deduction

Operational Semantics

Preprocessing Step

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)