Compiler Construction: 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

by Albert Cohen

Overview

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.

Product Details

ISBN-13:	9783642548062
Publisher:	Springer Berlin Heidelberg
Publication date:	02/27/2014
Series:	Lecture Notes in Computer Science , #8409
Edition description:	2014
Pages:	251
Product dimensions:	6.10(w) x 9.25(h) x 0.02(d)

Table of Contents

Using the SSA-Form in a Code Generator.- Program Analysis and Optimization Parameterized Construction of Program Representations for Sparse Dataflow Analyses.- Inter-iteration Scalar Replacement Using Array SSA Form.- Recovery of Class Hierarchies and Composition Relationships from Machine Code.- Liveness-Based Garbage Collection.- deGoal a Tool to Embed Dynamic Code Generators into Applications.- Improving the Performance of X10 Programs by Clock Removal.- Taming Control Divergence in GPUs through Control Flow Linearization.- Exploitation of GPUs for the Parallelisation of Probably Parallel Legacy Code.- A Flexible and Efficient ML Lexer Tool Based on Extended Regular Expression Submatching.- The PAPAGENO Parallel-Parser Generator.- String Analysis for Dynamic Field Access.- Addressing JavaScript JIT Engines Performance Quirks: A Crowdsourced Adaptive Compiler.- A First Step towards a Compiler for Business Processes.- CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations.