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.

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

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