Differences

This shows you the differences between two versions of the page.

--- cc7125:proyectos-2017 [2017/11/03 13:10] – etanter
+++ cc7125:proyectos-2017 [2017/11/09 13:05] (current) – removed etanter
@@ Line 1: / Line 1: @@
-====== 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.
-    - [[http://goto.ucsd.edu/quark/usenix12.pdf|Establishing Browser Security Guarantees through Formal Shim Verification]]
-    - [[http://ynot.cs.harvard.edu/papers/jsc-wwv-10.pdf|Trace-based Verification of Imperative Programs with I/O]]
-    - [[http://ynot.cs.harvard.edu/papers/popl10.pdf|Toward a Verified Relational Database Management System]]
-    - [[http://www.impredicative.com/ur/|Ur/Web]]
-    - [[http://css.csail.mit.edu/fscq/|fscq]]
-    - [[http://fbinfer.com/docs/separation-logic-and-bi-abduction.html#technical-papers|Infer]]
-    - [[http://www.cis.upenn.edu/~stevez/vellvm/|Vellvm]]
-    - [[https://doi.org/10.1016/j.entcs.2008.04.064|Building Certified Static Analysers by Modular Construction of Well-founded Lattices]]
-    - Algún tópico avanzado del libro [[http://adam.chlipala.net/cpdt/|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//)
-TBD