Publikationer av Didrik Lundberg
Refereegranskade
Artiklar
[1]
A. Alshnakat et al., "HOL4P4: Mechanized Small-Step Semantics for P4," Proceedings of the ACM on Programming Languages, vol. 8, no. OOPSLA1, 2024.
Konferensbidrag
[2]
D. Lundberg, R. Guanciale och M. Dam, "Proof-Producing Symbolic Execution for P4," i Verified Software. Theories, Tools and Experiments - 16th International Conference, VSTTE 2024, Revised Selected Papers, 2025, s. 70-83.
[3]
A. Alshnakat et al., "HOL4P4 : Semantics for a Verified Data Plane," i EuroP4 2022 : Proceedings of the 5th International Workshop on P4 in Europe, Part of CoNEXT 2022, 2022, s. 39-45.
[4]
D. Lundberg et al., "Hoare-Style Logic for Unstructured Programs," i Software Engineering and Formal Methods, 2020, s. 193-213.
Senaste synkning med DiVA:
2025-09-07 02:17:30 UTC