This book constitutes the refereed proceedings of the 18th International Conference on Compiler Construction, CC 2009, held in York, UK, in March 2009 as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software.
Following a very thorough review process, 18 full research papers were selected from 72 submissions. Topics covered include traditional compiler construction, compiler analyses, runtime systems and tools, programming tools, techniques for specific domains, and the design and implementation of novel language constructs.
Author(s): Vivek Sarkar (auth.), Oege de Moor, Michael I. Schwartzbach (eds.)
Series: Lecture Notes in Computer Science 5501 : Theoretical Computer Science and General Issues
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2009
Language: English
Pages: 281
Tags: Programming Languages, Compilers, Interpreters; Software Engineering/Programming and Operating Systems; Computer System Implementation; Logics and Meanings of Programs; Algorithm Analysis and Problem Complexity; Theory of Computation
Front Matter....Pages -
Challenges in Code Optimization of Parallel Programs....Pages 1-1
Extensible Proof-Producing Compilation....Pages 2-16
From Specification to Optimisation: An Architecture for Optimisation of Java Bytecode....Pages 17-31
A Framework for Exploring Optimization Properties....Pages 32-47
Compile-Time Analysis and Specialization of Clocks in Concurrent Programs....Pages 48-62
Implementation and Use of Transactional Memory with Dynamic Separation....Pages 63-77
Exploiting Speculative TLP in Recursive Programs by Dynamic Thread Prediction....Pages 78-93
Live Debugging of Distributed Systems....Pages 94-108
Parsing C/C++ Code without Pre-processing....Pages 109-125
Faster Scannerless GLR Parsing....Pages 126-141
Decorated Attribute Grammars: Attribute Evaluation Meets Strategic Programming....Pages 142-157
SSA Elimination after Register Allocation....Pages 158-173
Register Spilling and Live-Range Splitting for SSA-Form Programs....Pages 174-189
Loop-Aware Instruction Scheduling with Dynamic Contention Tracking for Tiled Dataflow Architectures....Pages 190-203
Scheduling Tasks to Maximize Usage of Aggregate Variables in Place....Pages 204-219
Dynamic Look Ahead Compilation: A Technique to Hide JIT Compilation Latencies in Multicore Environment....Pages 220-235
Precise Management of Scratchpad Memories for Localising Array Accesses in Scientific Codes....Pages 236-250
Blind Optimization for Exploiting Hardware Features....Pages 251-265
How to CPS Transform a Monad....Pages 266-280
Back Matter....Pages -
