Compiler Construction, 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Oege de Moor, Michael I. Schwartzbach, editors, Compiler Construction, 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. Volume 5501 of Lecture Notes in Computer Science, Springer, 2009. [doi]

Conference: CC 2009

Abstract

Abstract is missing.

Table of Contents

1Challenges in Code Optimization of Parallel Programs
Vivek Sarkar
2-16Extensible Proof-Producing Compilation
Magnus O. Myreen, Konrad Slind, Michael J. C. Gordon
17-31From Specification to Optimisation: An Architecture for Optimisation of Java Bytecode
Richard Warburton, Sara Kalvala
32-47A Framework for Exploring Optimization Properties
Min Zhao, Bruce R. Childers, Mary Lou Soffa
48-62Compile-Time Analysis and Specialization of Clocks in Concurrent Programs
Nalini Vasudevan, Olivier Tardieu, Julian Dolby, Stephen A. Edwards
63-77Implementation and Use of Transactional Memory with Dynamic Separation
Martín Abadi, Andrew Birrell, Tim Harris, Johnson Hsieh, Michael Isard
78-93Exploiting Speculative TLP in Recursive Programs by Dynamic Thread Prediction
Lin Gao 0002, Lian Li 0002, Jingling Xue, Tin-Fook Ngai
94-108Live Debugging of Distributed Systems
Darren Dao, Jeannie R. Albrecht, Charles Edwin Killian, Amin Vahdat
109-125Parsing C/C++ Code without Pre-processing
Yoann Padioleau
126-141Faster Scannerless GLR Parsing
Giorgios R. Economopoulos, Paul Klint, Jurgen J. Vinju
142-157Decorated Attribute Grammars: Attribute Evaluation Meets Strategic Programming
Lennart C. L. Kats, Anthony M. Sloane, Eelco Visser
158-173SSA Elimination after Register Allocation
Fernando Magno Quintão Pereira, Jens Palsberg
174-189Register Spilling and Live-Range Splitting for SSA-Form Programs
Matthias Braun, Sebastian Hack
190-203Loop-Aware Instruction Scheduling with Dynamic Contention Tracking for Tiled Dataflow Architectures
Muhammad Umar Farooq, Lizy K. John
204-219Scheduling Tasks to Maximize Usage of Aggregate Variables in Place
Samah Abu-Mahmeed, Cheryl McCosh, Zoran Budimlic, Ken Kennedy, Kaushik Ravindran, Kevin Hogan, Paul Austin, Steve Rogers, Jacob Kornerup
220-235Dynamic Look Ahead Compilation: A Technique to Hide JIT Compilation Latencies in Multicore Environment
Simone Campanoni, Martino Sykora, Giovanni Agosta, Stefano Crespi-Reghizzi
236-250Precise Management of Scratchpad Memories for Localising Array Accesses in Scientific Codes
Armin Größlinger
251-265Blind Optimization for Exploiting Hardware Features
Dan Knights, Todd Mytkowicz, Peter F. Sweeney, Michael C. Mozer, Amer Diwan
266-280How to CPS Transform a Monad
Annette Bieniusa, Peter Thiemann