Santiago Bautista

According to our database, Santiago Bautista authored at least 3 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Static Analysis of Algebraic Data Types and Arrays. (Analyse Statique de Types Algébriques et de Tableaux).

Santiago Bautista

PhD thesis, 2023

2022

Lifting Numeric Relational Domains to Algebraic Data Types.

Santiago Bautista, Thomas P. Jensen, Benoît Montagu

Proceedings of the Static Analysis - 29th International Symposium, 2022

2021

Petr4: formal foundations for p4 data planes.

Ryan Doenges, Mina Tahmasbi Arashloo, Santiago Bautista, Alexander Chang, Newton Ni, Samwise Parkinson, Rudy Peterson, Alaia Solko-Breslin, Amanda Xu, Nate Foster

Proc. ACM Program. Lang., 2021