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 - Welcome

14:00 Session 1

  • Raimil: Ownership Types
  • Alonso: A Type System for Differential Privacy
  • Joffre: Deep Typechecking for Multi-Language Frameworks

15:00

Coffee Break

15:15 Session 2

  • Rosario: CompCert: A Certified C Compiler
  • Felipe: Liquid Types for Haskell
  • Nicolas: Dependent Types for JavaScript

16:15

Coffee Break

16:30 Session 3

  • Juraj: Type Inference for Smalltalk
  • Juan Pablo: Dynamic Taint Analysis for Security
  • Alejandro: A Core Calculus of Metaclasses

17:30

(the schedule includes 30 minutes unplanned, for supporting discussions, wrap-up, etc.)