Compiler Construction

1. Front Matter

   PDF

2. Invited Presentation

   1. Using the SSA-Form in a Code Generator

      • Benoît Dupont de Dinechin

      Pages 1-17

3. Program Analysis and Optimization

   1. Parameterized Construction of Program Representations for Sparse Dataflow Analyses

      • André Tavares, Benoit Boissinot, Fernando Pereira, Fabrice Rastello

      Pages 18-39

   2. Inter-iteration Scalar Replacement Using Array SSA Form

      • Rishi Surendran, Rajkishore Barik, Jisheng Zhao, Vivek Sarkar

      Pages 40-60

   3. Recovery of Class Hierarchies and Composition Relationships from Machine Code

      • Venkatesh Srinivasan, Thomas Reps

      Pages 61-84

   4. Liveness-Based Garbage Collection

      • Rahul Asati, Amitabha Sanyal, Amey Karkare, Alan Mycroft

      Pages 85-106

   5. deGoal a Tool to Embed Dynamic Code Generators into Applications

      • Henri-Pierre Charles, Damien Couroussé, Victor Lomüller, Fernando A. Endo, Rémy Gauguey

      Pages 107-112

   6. Improving the Performance of X10 Programs by Clock Removal

      • Paul Feautrier, Éric Violard, Alain Ketterlin

      Pages 113-132

4. Parallelism and Parsing

   1. Taming Control Divergence in GPUs through Control Flow Linearization

      • Jayvant Anantpur, Govindarajan R.

      Pages 133-153

   2. Exploitation of GPUs for the Parallelisation of Probably Parallel Legacy Code

      • Zheng Wang, Daniel Powell, Björn Franke, Michael O’Boyle

      Pages 154-173

   3. A Flexible and Efficient ML Lexer Tool Based on Extended Regular Expression Submatching

      • Martin Sulzmann, Pippijn van Steenhoven

      Pages 174-191

   4. The PAPAGENO Parallel-Parser Generator

      • Alessandro Barenghi, Stefano Crespi Reghizzi, Dino Mandrioli, Federica Panella, Matteo Pradella

      Pages 192-196

   5. String Analysis for Dynamic Field Access

      • Magnus Madsen, Esben Andreasen

      Pages 197-217

5. New Trends in Compilation

   1. Addressing JavaScript JIT Engines Performance Quirks: A Crowdsourced Adaptive Compiler

      • Rafael Auler, Edson Borin, Peli de Halleux, Michał Moskal, Nikolai Tillmann

      Pages 218-237

   2. A First Step towards a Compiler for Business Processes

      • Thomas M. Prinz, Norbert Spieß, Wolfram Amme

      Pages 238-243

   3. CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations

      • Martin Franz, Andreas Holzer, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith

      Pages 244-249

6. Back Matter

   PDF

This book constitutes the proceedings of the 23rd International Conference on Compiler Construction, CC 2014, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, which took place in Grenoble, France, in April 2014. The 10 full papers and 4 tool papers included in this volume were carefully reviewed and selected from 47 submissions; the book also contains one invited talk. The papers are organized in topical sections named: program analysis and optimization; parallelism and parsing and new trends in compilation.

• GPUs
• SSA form
• code generation
• code optimization
• compilation
• compilers
• dynamic compilers
• graphics processing unit
• interpreters
• just-in-time compilers
• memory management
• parallel programming languages
• parsers
• program analysis
• program representation
• runtime environments
• software engineering
• static single assignment

• Département d’Informatique, INRIA and École Normale Supérieure, Paris, France

  Albert Cohen

Policies and ethics