Published in Masters Thesis, 2023
We present a program logic for Tree Borrows capable of modularly reasoning about ghost trees in a higher order and concurrent setting under block-based memory.
Recommended citation: Rudy Peterson. 2025. A Program Logic for Tree Borrows. (September 2025). Retrieved from http://rudynicolop.github.io/files/thesis.pdf http://rudynicolop.github.io/files/thesis.pdf
Published in CPP 2023, 2023
P4Cub is a new intermediate representation (IR) for the P4 programming language.
Recommended citation: Rudy Peterson, Eric Hayden Campbell, John Chen, Natalie Isak, Calvin Shyu, Ryan Doenges, Parisa Ataei, and Nate Foster. 2023. P4Cub: A Little Language for Big Routers. In Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2023). Association for Computing Machinery, New York, NY, USA, 303–319. https://doi.org/10.1145/3573105.3575670 http://rudynicolop.github.io/files/p4cub.pdf
Published in POPL 2021, 2021
This paper presents a new framework, called Petr4, that puts P4 on a solid foundation.
Recommended citation: Ryan Doenges, Mina Tahmasbi Arashloo, Santiago Bautista, Alexander Chang, Newton Ni, Samwise Parkinson, Rudy Peterson, Alaia Solko-Breslin, Amanda Xu, and Nate Foster. 2021. Petr4: formal foundations for p4 data planes. Proc. ACM Program. Lang. 5, POPL, Article 41 (January 2021), 32 pages. http://rudynicolop.github.io/files/petr4.pdf