| Friday 18 April |
| 09h00 - 10h00 |
Invited Talk (Chair: Björn Franke)
Keshav Pingali |
| 10h30 - 12h30 |
Compiler Engineering and Compiling Techniques
- Amanj Sherwany, Nosheen Zaza and Nate Nystrom. A refactoring library for Scala compiler extensions
- Vincent St-Amour, Leif Andersen and Matthias Felleisen. Feature-Specific Profiling
- Timothy Bourke, Jean-Louis Colaco, Cédric Pasteur, Bruno Pagano and Marc Pouzet. A Synchronous-based Code Generator For Explicit Hybrid Systems Languages
- Ali Afroozeh and Anastasia Izmaylova. Faster, Practical GLL Parsing
|
| 14h00 - 16h00 |
Analysis and Optimisation
- Hilmar Ackermann, Christoph Reichenbach, Yannis Smaragdakis and Christian Müller. A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation
- Nicholas Allen, Bernhard Scholz and Paddy Krishnan. Staged Points-To Analysis for Large Code Bases
- Alain Darte and Alexandre Isoard. Exact and Approximated Data-Reuse Optimizations for Tiling with Parametric Sizes
- Sebastian Buchwald. Optgen: A Generator for Local Optimizations
|
| 16h30 - 18h00 |
Formal Techniques
- Nicholas Hollingum and Bernhard Scholz. Towards a Scalable Framework for Context-free Language Reachability
- Nicholas Ng, Jose Gabriel de Figueiredo Coutinho and Nobuko Yoshida. Protocols by Default: Safe MPI Code Generation based on Session Types.
- Delphine Demange, David Pichardie and Léo Stéfanesco. Verifying Fast and Sparse SSA-based Optimizations in Coq
|