Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Doenges, Ryan
12  Ergebnisse:
Personensuche X
?
1

P4Cub: A Little Language for Big Routers:

, In: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs,
Peterson, Rudy ; Campbell, Eric Hayden ; Chen, John... - p. 303-319 , 2023
Link: https://dl.acm.org/doi/1..
 
?
2

Leapfrog: certified equivalence for protocol parsers:

, In: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation,
Doenges, Ryan ; Kappé, Tobias ; Sarracino, John.. - p. 950-965 , 2022
Link: https://dl.acm.org/doi/1..
 
?
3

Petr4: formal foundations for p4 data planes:

Doenges, Ryan ; Arashloo, Mina Tahmasbi ; Bautista, Santiago...
Proceedings of the ACM on Programming Languages.  5 (2021)  POPL - p. 1-32 , 2021
Link: https://doi.org/10.1145/..
 
?
4

Petr4: formal foundations for p4 data planes:

Doenges, Ryan ; Arashloo, Mina Tahmasbi ; Bautista, Santiago...
Proceedings of the ACM on Programming Languages.  5 (2021)  POPL - p. 1-32 , 2021
Link: https://dl.acm.org/doi/1..
 
?
5

Composing Dataplane Programs with μP4:

, In: Proceedings of the Annual conference of the ACM Special Interest Group on Data Communication on the applications, technologies, architectures, and protocols for computer communication,
Soni, Hardik ; Rifai, Myriana ; Kumar, Praveen.. - p. 329-343 , 2020
Link: https://dl.acm.org/doi/1..
 
?
6

Leapfrog: Certified Equivalence for Protocol Parsers:

Doenges, Ryan ; Kappé, Tobias ; Sarracino, John..
http://arxiv.org/abs/2205.08762.  , 2022
Link: http://arxiv.org/abs/220..
 
?
7

VM Artifact for "Petr4: Formal Foundations for P4 Data Plan..:

Doenges, Ryan ; Arashloo, Mina Tahmasbi ; Bautista, Santiago...
doi:10.5281/zenodo.4074356.  , 2020
Link: https://zenodo.org/recor..
 
?
8

Petr4: Formal Foundations for P4 Data Planes:

Doenges, Ryan ; Arashloo, Mina Tahmasbi ; Bautista, Santiago...
http://arxiv.org/abs/2011.05948.  , 2020
Link: http://arxiv.org/abs/201..
 
?
9

verified-network-toolchain/petr4: v0.1.4:

Ryan Doenges ; Parisa Ataei ; stp59...
https://github.com/verified-network-toolchain/petr4/tree/0.1.4.  , 2022
Link: https://zenodo.org/recor..
 
?
10

Leapfrog (Artifact Evaluation Version):

Ryan Doenges ; John Sarracino ; Tobias Kappé..
doi:10.5281/zenodo.6330185.  , 2022
Link: https://zenodo.org/recor..
 
?
11

verified-network-toolchain/petr4: v0.1.3:

Ryan Doenges ; Parisa Ataei ; stp59...
https://github.com/verified-network-toolchain/petr4/tree/0.1.3.  , 2022
Link: https://zenodo.org/recor..
 
?
12

Leapfrog (Artifact Evaluation Version):

Ryan Doenges ; John Sarracino ; Tobias Kappé..
doi:10.5281/zenodo.6330185.  , 2022
Link: https://zenodo.org/recor..
 
1-12