Título: Inferencia de tipos sesión probabilísticos
Director: Hernán Melgratti
Jurados: Diego Garbervetsky, Carlos Gustavo Lopez Pombo.

Resumen:
Los últimos años testimonian un auge en el desarrollo de técnicas de descripción de interfaces y soporte a nivel de lenguajes de programación para el desarrollo de aplicaciones correctas por construcción. El desarrollo de tipos comportamentales y, en especial, los tipos de sesión se han consolidado como un formalismo central para el análisis modular de aplicaciones distribuidas basadas en procesos que comunican a través de canales.

Recientemente se propuso el uso de tipos de sesión para razonar sobre propiedades de alcanzabilidad en términos probabilísticos. Concretamente, el sistema de tipos permite determinar la probabilidad con la que una sesión termina exitosamente. En este trabajo presentamos una extensión con tipos probabilísticos de la librería FuSe, que implementa tipos sesión en OCaml.