Differences

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

--- teaching:cc7110:2023:presentaciones [2023/11/21 12:57] – [Lenguajes Específicos y sus formalizaciones] smalewski
+++ teaching:cc7110:2023:presentaciones [2023/12/20 21:19] – etanter
@@ Line 4: / Line 4: @@
 ===Workshop===
   * el día 21 de Diciembre, se organizará un seminario donde todos tienen que participar.
-  * horarios: A definir
+  * horarios: De 14:00 a 16:30
+  * lugar: Auditorio Picarte (DCC, 3er piso norte)
+===Programa===
+  * 14:00-14:30 - Rust - Cristian Carrión
+  * 14:30-15:00 - Types and Effects - Francisco Galdames
+  * 15:00-15:30 - Gradual Types - David Ibáñez
+  * 15:30-16:00 - Implicits - Fabián Díaz
+  * 16:00-16:30 - Web Assembly - Ismael Correa (postergado)
 ===Presentaciones===
   * Cada presentación es individual
-  * Las presentaciones deben durar 15 minutos
+  * Las presentaciones deben durar al rededor de 15 minutos sin superar los 20 minutos.
     - introducción (3 min)
     - motivación (5 min): Demostración de la utilidad del sistema/lenguaje a través de un ejemplo
@@ Line 15: / Line 24: @@
 ===Evaluación===
-  * se considerará su presentación (50%), manejo de las preguntas (25%), y su participación general en el workshop (25%)
+  * Se considerará su presentación (50%), manejo de las preguntas (25%), y su participación general en el workshop (25%)
+  * Deben demostrar que son capaces de leer, entender, explicar y presentar sobre sistemas formales, por lo que no se aceptarán presentaciones que no incluyan reglas de tipado o reducción.
 ----
@@ Line 113: / Line 123: @@
 	* https://www.rust-lang.org/
 	* https://plv.mpi-sws.org/rustbelt/popl18/paper.pdf
+	* Oxide: https://arxiv.org/abs/1903.00982
+	* Otro formalismo: https://dl.acm.org/doi/abs/10.1145/3443420
+	* Stacked Borrows: https://plv.mpi-sws.org/rustbelt/stacked-borrows/
+	* GhostCell: https://plv.mpi-sws.org/rustbelt/ghostcell/