Differences

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

Link to this comparison view

Next revision		Previous revision
teaching:cc7110:2023:presentaciones [2023/11/21 10:56] – created smalewskiteaching:cc7110:2023:presentaciones [2023/12/21 15:16] (current) – etanter
Line 4: Line 4:
 ===Workshop=== ===Workshop===
   * el día 21 de Diciembre, se organizará un seminario donde todos tienen que participar.    * 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=== ===Presentaciones===
   * Cada presentación es individual   * 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)     - introducción (3 min)
     - motivación (5 min): Demostración de la utilidad del sistema/lenguaje a través de un ejemplo     - motivación (5 min): Demostración de la utilidad del sistema/lenguaje a través de un ejemplo
Line 14: Line 23:
     - conclusiones (1 min).     - conclusiones (1 min).
  
-===Evaluación===* +===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 24: Line 34:
  
 Indicaciones: Indicaciones:
-  * Esta lista es solo de referencia y son libres de escoger otro tema que propongan bajo acuerdo previo Éric y Mara+  * Esta lista es solo de referencia y son libres de escoger otro tema que propongan bajo acuerdo previo con Éric y Mara
   * Los recursos que se listan a continuación de la descripción de cada tema también son de referencia. El objetivo de estos recursos es que sirvan como punto de partida   * Los recursos que se listan a continuación de la descripción de cada tema también son de referencia. El objetivo de estos recursos es que sirvan como punto de partida
   * Se espera que apliquen lo aprendido en el curso en sus presentaciones, por ejemplo mostrar reglas de tipo, reglas de reducción, enunciados formales de propiedades, etc   * Se espera que apliquen lo aprendido en el curso en sus presentaciones, por ejemplo mostrar reglas de tipo, reglas de reducción, enunciados formales de propiedades, etc
Line 77: Line 87:
     * Gradual refinement types: [[http://pleiad.dcc.uchile.cl/papers/2017/lehmannTanter-popl2017.pdf|pdf]]     * Gradual refinement types: [[http://pleiad.dcc.uchile.cl/papers/2017/lehmannTanter-popl2017.pdf|pdf]]
     * Gradual effects: [[http://pleiad.dcc.uchile.cl/papers/2014/banadosAl-icfp2014.pdf|pdf]]     * Gradual effects: [[http://pleiad.dcc.uchile.cl/papers/2014/banadosAl-icfp2014.pdf|pdf]]
-    * Gradual security typing (Pancho): [[http://pleiad.dcc.uchile.cl/papers/2018/toroAl-toplas2018.pdf|pdf]]+    * Gradual security typing: [[http://pleiad.dcc.uchile.cl/papers/2018/toroAl-toplas2018.pdf|pdf]]
  
  
Line 113: Line 123:
  * https://www.rust-lang.org/  * https://www.rust-lang.org/
  * https://plv.mpi-sws.org/rustbelt/popl18/paper.pdf  * 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  * 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]]