Programa Detallado (con Roles) e Instrucciones

Volver

Programa

13:50-14:00 Welcome

14:00-15:00 Session 1

  • Raimil: Ownership Types (P:Juraj/O:Rosario) paper
  • Alonso: A Type System for Differential Privacy (P:Juampi/O:Felipe) paper
  • Joffre: Deep Typechecking for Multi-Language Frameworks (P:Alejandro/O:Nico) paper

15:00-15:15 Coffee Break

15:15-16:15 Session 2

  • Rosario: CompCert: A Certified C Compiler (P:Raimil/O:Juampi) paper
  • Felipe: Liquid Types for Haskell (P:Alonso/O:Alejandro) paper
  • Nicolas: Dependent Types for JavaScript (P:Joffre/O:Juraj) paper

16:15-16:30 Coffee Break

16:30-17:30 Session 3

  • Juraj: Type Inference for Smalltalk (P:Rosario/O:Joffre) paper
  • Juan Pablo: Dynamic Taint Analysis for Security (P:Felipe/O:Alonso) paper
  • Alejandro: A Core Calculus of Metaclasses (P:Nico/O:Raimil) paper

Note: the schedule includes 30 minutes unplanned, for supporting spontaneous discussions, wrap-up, etc.

Presentaciones

  • El tiempo para cada charla es 20 min, correspondiente a 15 min de presentación y 5 minutos de preguntas
  • El tiempo máximo de presentación (15 min) se enforzará estrictamente – ¡practiquen antes!
  • Los 15 minutos de presentación deben ser divididos de la siguiente manera:
    • 3 minutos sobre la motivación específica de lo que presentan: esta parte la debería entender alguien que sale de lenguajes I, pero que no ha estudiado lenguajes II — no es necesario explicar porque uno quisiera static typing, por ej
    • 7 minutos sobre el desarrollo técnico: esta parte tiene que demostrar que manejan los conceptos y técnicas formales vistos en este curso
    • 3 minutos sobre aplicaciones, validación, resultados
    • 2 minutos sobre perspectivas, conexiones con otros trabajos, etc.
  • Esta estructura también se enforzará estrictamente – ¡planifiquen y practiquen antes!
  • Varios de los papers seleccionados son muy técnicos. No es necesario (y es probablemente imposible) que su presentación cubra 100% del paper de referencia. Lo importante es que construyan una presentación coherente y entendible, de la cual la audiencia aprenda algo coherente.

Roles

  • P = Proponent: clarifying questions, identifying potential, new venues, research opportunities, applications, etc.
  • O = Opponent: tricky questions, identifying limitations, problems, highlight applicability issues, contrast with related work that is/seems more powerful, etc.

Nota de participación en el evento:

  • 4 ptos presentación (1 pto sobre manejo del tiempo, 1 pto sobre claridad presentación, 2 ptos sobre comprensión y manejo de los conceptos, respuestas, etc.)
  • 1 pto por participación como P y O
  • 1 pto por participación general