Program of Presentations

13:00—14:20

• Types for Safe Multithreading in a Region-based Memory Management Setting
  Prodromos Gerakios, School of Electrical and Computer Engineering, National Technical University of Athens.

• Practical Type Inference for First-class Polymorphism
  Dimitris Vytiniotis, Department of Computer and Information Science, University of Pennsylvania.

14:45—16:45

• The Higher-order Aggregate Update Problem
  Christos Dimoulas, College of Computer and Information Science, Northeastern University.

• J%: Integrating Domain Specific Languages with Java
  Vassilis Karakoidas, Department of Management Science and Technology, Athens University of Economics and Business.

• Tractable Reasoning about Fine-grained Concurrency
  Viktor Vafeiadis, Cambridge Programming Research Group, University of Cambridge.

17:10—18:30

• Morphing: Safely Shaping a Class in the Image of Others
  Yannis Smaragdakis, Department of Computer and Information Science, University of Oregon.

• Boolean Grammars and Negation in Logic Programming
  Vassilis Kountouriotis, Department of Informatics and Telecommunications, University of Athens.