Login / Signup
Newton Ni
Publication Activity (10 Years)
Years Active: 2020-2021
Publications (10 Years): 2
Top Topics
Historical Data
Data Sources
Raw Data
Statistical Analysis
Top Venues
Proc. ACM Program. Lang.
CoRR
</>
Publications
</>
Ryan Doenges
,
Mina Tahmasbi Arashloo
,
Santiago Bautista
,
Alexander Chang
,
Newton Ni
,
Samwise Parkinson
,
Rudy Peterson
,
Alaia Solko-Breslin
,
Amanda Xu
,
Nate Foster
Petr4: formal foundations for p4 data planes.
Proc. ACM Program. Lang.
5 (POPL) (2021)
Ryan Doenges
,
Mina Tahmasbi Arashloo
,
Santiago Bautista
,
Alexander Chang
,
Newton Ni
,
Samwise Parkinson
,
Rudy Peterson
,
Alaia Solko-Breslin
,
Amanda Xu
,
Nate Foster
Petr4: Formal Foundations for P4 Data Planes.
CoRR
(2020)