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

Session 1 — Advanced Types

  1. Raimil: Ownership Types
  2. Alonso: A Type System for Differential Privacy
  3. Joffre: Deep Typechecking for Multi-Language Frameworks

Session 2 — Dependent Types and Certified Programming

  1. Rosario: CompCert: A Certified C Compiler
  2. Felipe: Liquid Types for Haskell
  3. Nicolas: Dependent Types for JavaScript

Session 3

  1. Juraj: Type Inference for Smalltalk
  2. Juan Pablo: Dynamic Taint Analysis for Security
  3. Alejandro: A Core Calculus of Metaclasses