Skip to main content
  • Conference proceedings
  • © 2015

Compiler Construction

24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Editors:

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9031)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): CC: International Conference on Compiler Construction

Conference proceedings info: CC 2015.

Buying options

eBook USD 44.99
Price excludes VAT (USA)
  • ISBN: 978-3-662-46663-6
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 59.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (12 papers)

  1. Front Matter

    Pages 1-10
  2. Invited Paper

    1. Front Matter

      Pages 1-1
    2. A Graphical Model for Context-Free Grammar Parsing

      • Keshav Pingali, Gianfranco Bilardi
      Pages 3-27Open Access
  3. Compiler Engineering and Compiling Techniques

    1. Front Matter

      Pages 29-29
    2. A Refactoring Library for Scala Compiler Extensions

      • Amanj Sherwany, Nosheen Zaza, Nathaniel Nystrom
      Pages 31-48Open Access
    3. Feature-Specific Profiling

      • Vincent St-Amour, Leif Andersen, Matthias Felleisen
      Pages 49-68Open Access
    4. A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages

      • Timothy Bourke, Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet
      Pages 69-88Open Access
    5. Faster, Practical GLL Parsing

      • Ali Afroozeh, Anastasia Izmaylova
      Pages 89-108Open Access
  4. Analysis and Optimisation

    1. Front Matter

      Pages 109-109
    2. A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation

      • Hilmar Ackermann, Christoph Reichenbach, Christian Müller, Yannis Smaragdakis
      Pages 111-130Open Access
    3. Staged Points-to Analysis for Large Code Bases

      • Nicholas Allen, Bernhard Scholz, Padmanabhan Krishnan
      Pages 131-150Open Access
    4. Exact and Approximated Data-Reuse Optimizations for Tiling with Parametric Sizes

      • Alain Darte, Alexandre Isoard
      Pages 151-170Open Access
    5. Optgen: A Generator for Local Optimizations

      • Sebastian Buchwald
      Pages 171-189Open Access
  5. Formal Techniques

    1. Front Matter

      Pages 191-191
    2. Towards a Scalable Framework for Context-Free Language Reachability

      • Nicholas Hollingum, Bernhard Scholz
      Pages 193-211Open Access
    3. Protocols by Default

      • Nicholas Ng, Jose Gabriel de Figueiredo Coutinho, Nobuko Yoshida
      Pages 212-232Open Access
    4. Verifying Fast and Sparse SSA-Based Optimizations in Coq

      • Delphine Demange, David Pichardie, Léo Stefanesco
      Pages 233-252Open Access
  6. Back Matter

    Pages 253-253

Other Volumes

  1. Compiler Construction

    24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

About this book

This book constitutes the proceedings of the 24th International Conference on Compiler Construction, CC 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, in London, UK, in April 2015.

The 11 papers presented in this volume were carefully reviewed and selected from 34 submissions. They deal with compiler engineering and compiling techniques; compiler analysis and optimisation and formal techniques in compilers. The book also contains one invited talk in full-paper length.

Keywords

  • Code Generation
  • Compiler Backend
  • Context-free Grammars
  • Context-free Languages
  • Data Reuse Optimizations
  • GLL Parsing
  • Local Optimizations
  • Loop Tiling
  • Message Passing Interface (MPI)
  • Parsing Techniques
  • Points-to Analysis
  • Profiling
  • Refactoring
  • Run-time Optimizations
  • Scala Programming Language
  • Session Types
  • Static Single Assignment (SSA)

Editors and Affiliations

  • University of Edinburgh, Edinburgh, United Kingdom

    Björn Franke

Bibliographic Information

Buying options

eBook USD 44.99
Price excludes VAT (USA)
  • ISBN: 978-3-662-46663-6
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 59.99
Price excludes VAT (USA)