Research Directions Application Performance Parallel Algorithms Programming Frameworks Efficiency and Predictability Embedded Systems on Multicores Efficient Modeling Technology Resource Sharing: Modeling and Scheduling Power modeling Synchronization modeling Ease of Programming Applied Calculi Facilitating Concurrent and Parallel Programming in Mainstream Programming Languages Correctness Automated Verification of Highly Concurrent Algorithm Automated Verification of Algorithms under Weak Memory Models Automated Verification of Concurrent Recursive Programs Caches, Coherence and Accelerations of Transactional Memories Publications