- Home
- Search Results
- Page 1 of 1
Search for: All records
-
Total Resources4
- Resource Type
-
02000020000
- More
- Availability
-
40
- Author / Contributor
- Filter by Author / Creator
-
-
Chang, Alexander (2)
-
Chang, Alexander H. (2)
-
Freeman, Caitlin (2)
-
Mahendran, Arun Niddish (2)
-
Vikas, Vishesh (2)
-
Arashloo, Mina Tahmasbi (1)
-
Bagheri, Pegah (1)
-
Bautista, Santiago (1)
-
Collazo, Ramon (1)
-
Doenges, Ryan (1)
-
Eldred, Tim B. (1)
-
Foster, Nate (1)
-
Khachariya, Dolar (1)
-
Kirste, Ronny (1)
-
Kohn, Erhard (1)
-
Lauhon, Lincoln (1)
-
McDougall, Michael (1)
-
Ni, Newton (1)
-
Parkinson, Samwise (1)
-
Pavlidis, Spyridon (1)
-
- Filter by Editor
-
-
& Spizer, S. M. (0)
-
& . Spizer, S. (0)
-
& Ahn, J. (0)
-
& Bateiha, S. (0)
-
& Bosch, N. (0)
-
& Brennan K. (0)
-
& Brennan, K. (0)
-
& Chen, B. (0)
-
& Chen, Bodong (0)
-
& Drown, S. (0)
-
& Ferretti, F. (0)
-
& Higgins, A. (0)
-
& J. Peters (0)
-
& Kali, Y. (0)
-
& Ruiz-Arias, P.M. (0)
-
& S. Spitzer (0)
-
& Sahin. I. (0)
-
& Spitzer, S. (0)
-
& Spitzer, S.M. (0)
-
(submitted - in Review for IEEE ICASSP-2024) (0)
-
-
Have feedback or suggestions for a way to improve these results?
!
Note: When clicking on a Digital Object Identifier (DOI) number, you will be taken to an external site maintained by the publisher.
Some full text articles may not yet be available without a charge during the embargo (administrative interval).
What is a DOI Number?
Some links on this page may take you to non-federal websites. Their policies may differ from this site.
-
Chang, Alexander H. ; Freeman, Caitlin ; Mahendran, Arun Niddish ; Vikas, Vishesh ; Vela, Patricio ( , IEEE)
-
Doenges, Ryan ; Arashloo, Mina Tahmasbi ; Bautista, Santiago ; Chang, Alexander ; Ni, Newton ; Parkinson, Samwise ; Peterson, Rudy ; Solko-Breslin, Alaia ; Xu, Amanda ; Foster, Nate ( , Proceedings of the ACM on Programming Languages)P4 is a domain-specific language for programming and specifying packet-processing systems. It is based on an elegant design with high-level abstractions like parsers and match-action pipelines that can be compiled to efficient implementations in software or hardware. Unfortunately, like many industrial languages, P4 has developed without a formal foundation. The P4 Language Specification is a 160-page document with a mixture of informal prose, graphical diagrams, and pseudocode, leaving many aspects of the language semantics up to individual compilation targets. The P4 reference implementation is a complex system, running to over 40KLoC of C++ code, with support for only a few targets. Clearly neither of these artifacts is suitable for formal reasoning about P4 in general. This paper presents a new framework, called Petr4, that puts P4 on a solid foundation. Petr4 consists of a clean-slate definitional interpreter and a core calculus that models a fragment of P4. Petr4 is not tied to any particular target: the interpreter is parameterized over an interface that collects features delegated to targets in one place, while the core calculus overapproximates target-specific behaviors using non-determinism. We have validated the interpreter against a suite of over 750 tests from the P4 reference implementation, exercising our target interface with tests for different targets. We validated the core calculus with a proof of type-preserving termination. While developing Petr4, we reported dozens of bugs in the language specification and the reference implementation, many of which have been fixed.more » « less
-
Szymanski, Dennis ; Khachariya, Dolar ; Eldred, Tim B. ; Bagheri, Pegah ; Washiyama, Shun ; Chang, Alexander ; Pavlidis, Spyridon ; Kirste, Ronny ; Reddy, Pramod ; Kohn, Erhard ; et al ( , Journal of Applied Physics)