Santiago Bautista

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 3

Top Topics

Relational Domains

Top Venues

Proc. ACM Program. Lang.

Publications

Santiago Bautista, Thomas P. Jensen, Benoît Montagu
Lifting Numeric Relational Domains to Algebraic Data Types. SAS (2022)
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)