kirancodes.me
To Proof Maintenance & Beyond!
Venues / CC /

CC 2015

12 papers

  1. A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation · Hilmar Ackermann, Christoph Reichenbach, Christian Müller, Yannis Smaragdakis
  2. A Graphical Model for Context-Free Grammar Parsing · Keshav Pingali, Gianfranco Bilardi
  3. A Refactoring Library for Scala Compiler Extensions · Amanj Sherwany, Nosheen Zaza, Nathaniel Nystrom
  4. A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages · Timothy Bourke, Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet
  5. Exact and Approximated Data-Reuse Optimizations for Tiling with Parametric Sizes · Alain Darte, Alexandre Isoard
  6. Faster, Practical GLL Parsing · Ali Afroozeh, Anastasia Izmaylova
  7. Feature-Specific Profiling · Vincent St-Amour, Leif Andersen, Matthias Felleisen
  8. Optgen: A Generator for Local Optimizations · Sebastian Buchwald
  9. Protocols by Default - Safe MPI Code Generation Based on Session Types · Nicholas Ng, José Gabriel de Figueiredo Coutinho, Nobuko Yoshida
  10. Staged Points-to Analysis for Large Code Bases · Nicholas Allen, Bernhard Scholz, Padmanabhan Krishnan
  11. Towards a Scalable Framework for Context-Free Language Reachability · Nicholas Hollingum, Bernhard Scholz
  12. Verifying Fast and Sparse SSA-Based Optimizations in Coq · Delphine Demange, David Pichardie, Léo Stefanesco