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...