The abstracts are available
here and
here.
Monday, January 21, 2013
Program Chairs' Report and Best Paper Award Announcement: 8:45 - 9:00
Invited Talk: 9:00 - 10:00
Session Chair: Shin-Cheng Mu
- Zhenjiang Hu: Practical Aspects of Bidirectional Graph Transformations
Coffee break
10:30 - 12:30
Session Chair: Samir Genaim
- Jeroen Weijers, Jurriaan Hage and Stefan Holdermans: Security Type Error Diagnosis for Higher-Order, Polymorphic Languages
- Axel Simon: Deriving a Complete Type Inference for Hindley-Milner and Vector Sizes using Expansion
- Francisco Javier López-Fraguas and Enrique Martin-Martin: Typing as Functional-Logic Evaluation
- Kostis Sagonas, Josep Silva and Salvador Tamarit: Precise Explanation of Success Typing Errors
Lunch (not provided)
14:30 - 16:00
Session Chair: Jeremy Siek
- Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and Maurizio Proietti: Verifying Programs via Iterated Specialization
- Ryosuke Sato, Hiroshi Unno and Naoki Kobayashi: Towards a Scalable Software Model Checker for Higher-Order Programs
- Michael Carbin, Deokhwan Kim, Sasa Misailovic and Martin Rinard: Verified Integrity Properties for Safe Approximate Program Transformations
Coffee break
16:30 - 17:30
Session Chair: Bruno Oliveira
- Marco Comini and Luca Torella: TRSynth: a Tool for Automatic Inference of Term Equivalence in Left-linear Term Rewriting Systems
- Martin Sulzmann, Jürgen Nicklisch and Axel Zechner: Traceability and Correctness of EDSL Abstractions
Tuesday, January 22, 2013
Invited Talk: 9:00 - 10:00
Session Chair: Elvira Albert
- Peter Thiemann: Partially Static Operations
Coffee break
10:30 - 12:30
Session Chair: Kazutaka Matsuda
- Bruno Martinez, Marcos Viera and Alberto Pardo: Just Do It While Compiling!: Fast Extensible Records in Haskell
- Bruno Oliveira and Andres Loh: Abstract Syntax Graphs for Domain Specific Languages
- Dominique Devriese, Ilya Sergey, Dave Clarke and Frank Piessens: Fixing Idioms - A Recursion Primitive for Applicative DSLs
- Álvaro García-Pérez and Pablo Nogueira: A Syntactic and Functional Correspondence between Reduction Semantics and Reduction-Free Full Normalisers
Lunch (not provided)
14:30 - 16:00
Session Chair: TBA
- Marco Servetto and Elena Zucca: A Meta-Circular Language for Active Libraries
- María Alpuente, Marco A. Feliú and Alicia Villanueva: Automatic Inference of Specifications using Matching Logic
- Qiang Sun, Yuting Chen and Jianjun Zhao: Constraint-Based Locality Analysis for X10 Programs
Coffee break
16:30 - 17:00
Session Chair: Jurriaan Hage
- Baris Aktemur, Yukiyoshi Kameyama, Oleg Kiselyov and Chung‐chieh Shan: Shonan Challenge for Generative
Programming