Programming Language Technology

Multicore programming needs to be supported by appropriate programming languages and tools. Long term challenges are

• developing new programming language constructs that make multicore programming simpler and less error-prone;

• supporting these constructs by optimizations for multicore platforms and by analysis techniques that detect software defects and aid in discovery and correctness checking of optimizations.