Differences

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

--- teaching:cc7110:2023:presentaciones [2023/11/21 16:18] – [Type Systems] smalewski
+++ teaching:cc7110:2023:presentaciones [2023/12/21 19:16] (current) – 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
 ===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/
@@ Line 156: / Line 170: @@
 	* https://fstar-lang.org/#papers
+===Featherweight Java===
+Featherweight Java (FJ) es una formalización de una versión muy simplificada de Java usada para investigar y demostrar conceptos fundamentales de la programación orientada a objetos, como herencia y polimorfismo.
+	* Featherweight Java: A minimal core calculus for Java and GJ [[https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=ec99e35f1cdbdcada10eb65aae77d67995e59cff|pdf]]