This is an old revision of the document!

Lista de Artículos/Proyectos Posibles para Presentar

Esta lista es sólo un punto de partida, también pueden sugerir otro artículo/proyecto que le gustaría presentar.

  1. Establishing Browser Security Guarantees through Formal Shim Verification
  2. Trace-based Verification of Imperative Programs with I/O
  3. Toward a Verified Relational Database Management System
  4. Ur/Web
  5. fscq
  6. Infer
  7. Vellvm
  8. Building Certified Static Analysers by Modular Construction of Well-founded Lattices
  9. Algún tópico avanzado del libro Certified Programming with Dependent Types

Tienen que validar su propuesta conmigo por email a más tardar el 8 de Noviembre.

Grupos/Presentaciones

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
  • …