Llenar el Doodle para la(s) sesion(es) de presentación a más tardar el 8 de Noviembre.

La presentación puede ser uno o dos alumnos. En caso de ser dos, la presentación tiene que tener dos partes balanceadas, y ambos deben poder presentar cualquiera de las partes (se determinará al azar). Ambos deben ser capaces de responder las preguntas. Las notas serán individuales.

La presentación será de 15-20 minutos + preguntas (se ajustará según planificación)

• Nicolás Caracci: CompCert
• Fabián Mosso: Iris: Separation Logic in Coq
• Nicolás Bravo & Juan Rojas: Toward a Verified Relational Database Management System
• Pablo Astudillo: fscq: A Formally Certified Crash-proof File System
• Matiás Toro: Ur/Web
• Matías Meneses: Establishing Browser Security Guarantees through Formal Shim Verification
• Maximiliano Kauer: Trace-based Verification of Imperative Programs with I/O
• Hans Fehrmann: Building Certified Static Analysers by Modular Construction of Well-founded Lattices
• Paula Ríos & Tomás Díaz: Infer
• Sergio Peñafiel: Red-black trees (VFA-style vs. CPDT-style)
• Elizabeth Labrada: Parametricity and Dependent Types