CC 2015 Programme

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