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
- Alonso: A Type System for Differential Privacy
- Joffre: Deep Typechecking for Multi-Language Frameworks
15:00-15:15 Coffee Break
15:15-16:15 Session 2
- Rosario: CompCert: A Certified C Compiler
- Felipe: Liquid Types for Haskell
- Nicolas: Dependent Types for JavaScript
16:15-16:30 Coffee Break
16:30-17:30 Session 3
- Juraj: Type Inference for Smalltalk
- Juan Pablo: Dynamic Taint Analysis for Security
- Alejandro: A Core Calculus of Metaclasses
Note: the schedule includes 30 minutes unplanned, for supporting spontaneous discussions, wrap-up, etc.