ETAPS 2014: 5-13 April 2014, Grenoble, France

CC 2014 programme

Monday, April 7th
09h00 - 10h00 Room: Amphitheater
CC Invited Speaker (chair: Albert Cohen)
Benoit Dupont de Dinechin (Kalray, France)
Using the SSA-Form in a Code Generator
10h30 - 12h30 CC / Room: Mont Blanc
Program Analysis and Optimization (chair: Paul Feautrier)
  • Andre Tavares, Benoit Boissinot, Fernando Pereira and Fabrice Rastello. Parameterized Construction of Program Representations for Sparse Dataflow Analyses (25mn)
  • Rishi Surendran, Rajkishore Barik, Jisheng Zhao and Vivek Sarkar. Inter-iteration Scalar Replacement Using Array SSA Form (25mn)
  • Venkatesh Srinivasan and Thomas Reps. Recovery of Class Hierarchies and Composition Relationships from Machine Code (25mn)
  • Amitabha Sanyal, Alan Mycroft, Amey Karkare and Rahul Asati. Liveness-Based Garbage Collection (25mn)
  • Henri-Pierre Charles, Damien Couroussé, Victor Lomüller, Fernando A. Endo and Rémy Gauguey. deGoal a tool to embed dynamic code generators into applications (Tool presentation, 15mn)
14h00 - 16h00 CC / Room: Mont Blanc
Parallelism and Parsing (chair: Amitabha Sanyal)
  • Paul Feautrier, Éric Violard and Alain Ketterlin. Improving X10 Program Performance by Clock Removal (25mn)
  • Jayvant Anantpur and Govindarajan R. Taming Control Divergence in GPUs through Control Flow Linearization (25mn)
  • Zheng Wang, Daniel Powell, Bjoern Franke and Michael O'Boyle. Exploitation of GPUs for the Parallelisation of Probably Parallel Legacy Code (25mn)
  • Martin Sulzmann and Pippijn van Steenhoven. A Flexible and Efficient ML Lexer Tool based on Extended Regular Expression Submatching (25mn)
  • Alessandro Barenghi, Stefano Crespi Reghizzi, Dino Mandrioli, Federica Panella and Matteo Pradella. The PAPAGENO parallel-parser generator (Tool presentation, 15mn)
16h30 - 18h00 CC / Room: Mont Blanc
New Trends in Compilation (chair: Henri-Pierre Charles)
  • Magnus Madsen and Esben Andreasen. String Analysis for Dynamic Field Access (25mn)
  • Rafael Auler, Edson Borin, Peli de Halleux, Michal Moskal and Nikolai Tillmann. Addressing JavaScript JIT engines performance quirks: A crowdsourced adaptive compiler (25mn)
  • Thomas M. Prinz, Norbert Spieß and Wolfram Amme. A First Step Towards a Compiler for Business Processes (Tool presentation, 15mn)
  • Martin Franz, Andreas Holzer, Stefan Katzenbeisser, Christian Schallhart and Helmut Veith. CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations (Tool presentation, 15mn)