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)

15:00—16:30

• 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)

17:00—18:30

• 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)