===== Grupos/Presentaciones =====

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: [[http://ynot.cs.harvard.edu/papers/popl10.pdf|Toward a Verified Relational Database Management System]]
    * Pablo Astudillo: [[http://css.csail.mit.edu/fscq/|fscq: A Formally Certified Crash-proof File System]]
    * Matiás Toro: [[http://www.impredicative.com/ur/|Ur/Web]]
    * Matías Meneses: [[http://goto.ucsd.edu/quark/usenix12.pdf|Establishing Browser Security Guarantees through Formal Shim Verification]]
    * Maximiliano Kauer: [[http://ynot.cs.harvard.edu/papers/jsc-wwv-10.pdf|Trace-based Verification of Imperative Programs with I/O]]
    * Hans Fehrmann: [[https://doi.org/10.1016/j.entcs.2008.04.064|Building Certified Static Analysers by Modular Construction of Well-founded Lattices]]
    * Paula Ríos & Tomás Díaz: [[http://fbinfer.com/docs/separation-logic-and-bi-abduction.html#technical-papers|Infer]]
    * Sergio Peñafiel: //Red-black trees (VFA-style vs. CPDT-style)//
    * Elizabeth Labrada: [[http://www.staff.city.ac.uk/~ross/papers/pts.pdf|Parametricity and Dependent Types]]
    * Raimil Cruz: [[https://arxiv.org/abs/1509.06503|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
        - background/motivación: 2-3 minutos (esto lo debe entender cualquier alumnos de 5to año del DCC)
        - detalles técnicos: 8-10 minutos (esto debe ser a nivel de lo visto en el curso)
        - 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: 
        - alumno 1: intro + 1/2 detalles técnicos
        - alumno 2: 1/2 detalles técnicos + conclu

===== Programación =====

==== Martes 28 de Noviembre, 14:15-16:15 (Auditorio Picarte) ====

    * 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

==== Miércoles 29 de Noviembre, 14:15-16:15  (Auditorio Picarte) ====

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