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.