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