CC 2015 accepted papers

  • Hilmar Ackermann, Christoph Reichenbach, Yannis Smaragdakis and Christian Müller. A backend extension mechanism for PQL/Java with free run-time optimisation
  • Ali Afroozeh and Anastasia Izmaylova. Faster, practical GLL parsing
  • Nicholas Allen, Bernhard Scholz and Paddy Krishnan. Staged points-to analysis for large code bases
  • Timothy Bourke, Jean-Louis Colaco, Cédric Pasteur, Bruno Pagano and Marc Pouzet. A synchronous-based code generator for explicit hybrid systems languages
  • Sebastian Buchwald. Optgen: a generator for local optimizations
  • Alain Darte and Alexandre Isoard. Exact and approximated data-reuse optimizations for tiling with parametric sizes
  • Delphine Demange, David Pichardie and Léo Stéfanesco. Verifying fast and sparse SSA-based optimizations in Coq
  • 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
  • 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