Santiago Bautista

According to our database, Santiago Bautista authored at least 5 papers between 2020 and 2025.

Collaborative distances:

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

2025

An input-output relational domain for algebraic data types and functional arrays.

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

Formal Methods Syst. Des., April, 2025

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

2020

Numeric domains meet algebraic data types.

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

Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, 2020