Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Anoud Alshnakat
conf.researchr.org general profile
POPL 2024 profile
SPLASH 2024 profile
Registered user since Wed 12 Jul 2023
Name:
Anoud Alshnakat
Contributions
2024
SPLASH
Author of HOL4P4: mechanized small-step semantics for P4 within the OOPSLA 2024-track
POPL
Author of HOL4P4: A Heapless Small-Step Semantics and Type System for P4 within the Student Research Competition-track
Share
x
Mon 2 Dec 17:31