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

La presentación puede ser uno o dos alumnos. En caso de ser dos, ambos tienen que participar en la presentación y 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
  • …