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 minutos (max) + preguntas

• 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
• Raimil Cruz: A Verified Information-Flow Architecture

Algunas instrucciones:

• los 15 minutos como duración máxima se enforzarán de manera estricta
• como estructura/balance general, cada presentación debe tener
  1. background/motivación: 2-3 minutos (esto lo debe entender cualquier alumnos de 5to año del DCC)
  2. detalles técnicos: 8-10 minutos (esto debe ser a nivel de lo visto en el curso)
  3. desafíos/perspectivas: 2-3 minutos (esto lo debe entender cualquier alumnos de 5to año del DCC)
• para presentaciones de a dos, lo anterior se divide en:
  1. alumno 1: intro + 1/2 detalles técnicos
  2. alumno 2: 1/2 detalles técnicos + conclu

• 14:15 Matías T
• 14:35 Nicolás B & Juan R
• 14:55 Nicolás C
• 15:15 Pablo
• 15:35 Matías M
• 15:55 Elizabeth

• 14:15 Hans
• 14:35 Sergio
• 14:55 Maximiliano
• 15:15 Fabián
• 15:35 Paula & Tomás
• 15:55 Raimil