Program of Presentations

13:00—14:30

The SoftLab Isabelle Chronicles: Locally Nameless Experiences in Proving Type Safety
Nikos Papaspyrou, School of Electrical and Computer Engineering, National Technical University of Athens.

Slides (PDF, 455KB)
Type System Support for GADTs: On the Road to Dependent Types
Dimitris Vytiniotis, Department of Computer and Information Science, University of Pennsylvania.

Slides (PDF, 151KB)
What are Success Typings and how do they Differ from Type Systems?
Kostis Sagonas, School of Electrical and Computer Engineering, National Technical University of Athens.

Slides (PDF, 196KB)

Issues in Writing a Parallel Compiler Starting from a Serial Compiler
Alexandros Tzannes, Computer Science Department, University of Maryland.

Slides (PDF, 69KB)
Reasoning about Class Behavior
Vasileios Koutavas, College of Computer and Information Science, Northeastern University.

Slides (PDF, 252KB)
Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions
Yannis Kassios, Computer Science Department, University of Toronto.

Slides (PDF, 220KB)

DSD-Crasher: A Hybrid Analysis Tool for Bug Finding
Yannis Smaragdakis, Department of Computer and Information Science, University of Oregon.

Slides (PDF, 470KB)
Context-sensitive Correlation Analysis for Detecting Races
Polyvios Pratikakis, Computer Science Department, University of Maryland.

Slides (PDF, 598KB)
A Live Variable Analysis for Non-higher Order Languages based on 0-CFA
Christos Dimoulas, College of Computer and Information Science, Northeastern University.

Slides (PDF, 109KB)