CC 2015
12 papers
- A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation
- A Graphical Model for Context-Free Grammar Parsing
- A Refactoring Library for Scala Compiler Extensions
- A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages
- Exact and Approximated Data-Reuse Optimizations for Tiling with Parametric Sizes
- Faster, Practical GLL Parsing
- Feature-Specific Profiling
- Optgen: A Generator for Local Optimizations
- Protocols by Default - Safe MPI Code Generation Based on Session Types
- Staged Points-to Analysis for Large Code Bases
- Towards a Scalable Framework for Context-Free Language Reachability
- Verifying Fast and Sparse SSA-Based Optimizations in Coq