This is an old revision of the document!
Mini-Conferencia Lenguajes II 2014/2
Miercoles 3 de Diciembre 2014, 14h-18h, auditorio 3er piso DCC
Programa
13:50-14:00 Welcome
14:00-15:00 Session 1
- Raimil: Ownership Types (P:Juraj/O:Rosario)
- Alonso: A Type System for Differential Privacy (P:Juampi/O:Felipe)
- Joffre: Deep Typechecking for Multi-Language Frameworks (P:Alejandro/O:Nico)
15:00-15:15 Coffee Break
15:15-16:15 Session 2
- Rosario: CompCert: A Certified C Compiler (P:Raimil/O:Juampi)
- Felipe: Liquid Types for Haskell (P:Alonso/O:Alejandro)
- Nicolas: Dependent Types for JavaScript (P:Joffre/O:Juraj)
16:15-16:30 Coffee Break
16:30-17:30 Session 3
- Juraj: Type Inference for Smalltalk (P:Rosario/O:Joffre)
- Juan Pablo: Dynamic Taint Analysis for Security (P:Felipe/O:Alonso)
- Alejandro: A Core Calculus of Metaclasses (P:Nico/O:Raimil)
Note: the schedule includes 30 minutes unplanned, for supporting spontaneous discussions, wrap-up, etc.
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.