Compiler Construction

Challenges in Code Optimization of Parallel Programs.- Extensible Proof-Producing Compilation.- From Specification to Optimisation: An Architecture for Optimisation of Java Bytecode.- A Framework for Exploring Optimization Properties.- Compile-Time Analysis and Specialization of Clocks in Concurrent Programs.- Implementation and Use of Transactional Memory with Dynamic Separation.- Exploiting Speculative TLP in Recursive Programs by Dynamic Thread Prediction.- Live Debugging of Distributed Systems.- Parsing C/C++ Code without Pre-processing.- Faster Scannerless GLR Parsing.- Decorated Attribute Grammars: Attribute Evaluation Meets Strategic Programming.- SSA Elimination after Register Allocation.- Register Spilling and Live-Range Splitting for SSA-Form Programs.- Loop-Aware Instruction Scheduling with Dynamic Contention Tracking for Tiled Dataflow Architectures.- Scheduling Tasks to Maximize Usage of Aggregate Variables in Place.- Dynamic Look Ahead Compilation: A Technique to Hide JIT Compilation Latencies in Multicore Environment.- Precise Management of Scratchpad Memories for Localising Array Accesses in Scientific Codes.- Blind Optimization for Exploiting Hardware Features.- How to CPS Transform a Monad.