Björn Franke
Proceedings of the 24th International Conference on Compiler Construction
CC, 2015.
@proceedings{CC-2015, address = "London, England, United Kingdom", doi = "10.1007/978-3-662-46663-6", editor = "Björn Franke", isbn = "978-3-662-46662-9", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Proceedings of the 24th International Conference on Compiler Construction}", volume = 9031, year = 2015, }
Contents (12 items)
- CC-2015-PingaliB #context-free grammar #parsing #visual notation
- A Graphical Model for Context-Free Grammar Parsing (KP, GB), pp. 3–27.
- CC-2015-SherwanyZN #compilation #library #refactoring #scala
- A Refactoring Library for Scala Compiler Extensions (AS, NZ, NN), pp. 31–48.
- CC-2015-St-AmourAF #feature model #profiling
- Feature-Specific Profiling (VSA, LA, MF), pp. 49–68.
- CC-2015-BourkeCPPP #code generation #hybrid
- A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages (TB, JLC, BP, CP, MP), pp. 69–88.
- CC-2015-AfroozehI #gll #parsing #performance
- Faster, Practical GLL Parsing (AA, AI), pp. 89–108.
- CC-2015-AckermannRMS #java #optimisation #runtime
- A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation (HA, CR, CM, YS), pp. 111–130.
- CC-2015-AllenSK #analysis #points-to #scalability #staged
- Staged Points-to Analysis for Large Code Bases (NA, BS, PK), pp. 131–150.
- CC-2015-DarteI #approximate #optimisation #parametricity
- Exact and Approximated Data-Reuse Optimizations for Tiling with Parametric Sizes (AD, AI), pp. 151–170.
- CC-2015-Buchwald #generative #named #optimisation
- Optgen: A Generator for Local Optimizations (SB), pp. 171–189.
- CC-2015-HollingumS #context-free grammar #framework #reachability #scalability #towards
- Towards a Scalable Framework for Context-Free Language Reachability (NH, BS), pp. 193–211.
- CC-2015-NgCY #code generation #protocol
- Protocols by Default — Safe MPI Code Generation Based on Session Types (NN, JGdFC, NY), pp. 212–232.
- CC-2015-DemangePS #coq #optimisation #performance #verification
- Verifying Fast and Sparse SSA-Based Optimizations in Coq (DD, DP, LS), pp. 233–252.
4 ×#optimisation
2 ×#code generation
2 ×#context-free grammar
2 ×#parsing
2 ×#performance
2 ×#scalability
2 ×#code generation
2 ×#context-free grammar
2 ×#parsing
2 ×#performance
2 ×#scalability