Avatar

Santiago Sara Bautista, PhD

Alternating pronouns: he / she

Alternating first names: Santiago / Sara

Computer Science Teacher

Rennes, FR

santiago.bautista [at] ens-rennes.fr

Programing languages I use

OCaml

Coq, Isabelle/HOL

Python, C, Scala, Java

LaTeX


Languages I speak

English

French

Spanish

Italian

Esperanto



Hello, I am Santiago Sara Bautista.

This website may be outdated.
For an updated version, go to my personal website at sbautista.fr
I have a PhD in computer science from ENS Rennes, done at Inria and Irisa, under the supervision of Thomas Jensen and Benoît Montagu, in the Epicure team.

Publications

An input–output relational domain for algebraic data types and functional arrays
Santiago Bautista, Thomas Jensen, Benoît Montagu.
FMSD 2024
Preprint (open access) · Publisher version
Lifting Numeric Relational Domains to Algebraic Data Types
Santiago Bautista, Thomas Jensen, Benoît Montagu.
SAS 2022
Extended version (open acces) · Preprint (open access) · Publisher version
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.
POPL 2021
Preprint (open access) · Publisher version
Numeric Domains Meet Algebraic Data Types
Santiago Bautista, Thomas Jensen, and Benoît Montagu.
NSAD 2020.
Preprint (open access) · Publisher version

Here are links to my CV

In english
In french