is to develop the insights that enable new tools and approaches to make parallel programming easier, and to demonstrate their effectiveness through prototype implementations on real problems.

Status: Call for papers
Workshop: Nov 30 - Dec 1, 2017

• Parosh Abdulla and Bengt Jonsson have, together with two French research colleagues, received the prestigious "CAV award" in 2017. The award is in recognition of their research on verification of correctness for parallel programs and computer systems.
• Kim-Anh Tran has January 2017 been awarded an ACM-W scholarship.
• Kim-Anh Tran has January 2017 been awarded a professional activities grant from the ACM SIGPLAN Professional Activities Committee for attending the International Symposium on Code Generation and Optimization (CGO'17).

1. Refinement of workload models for engine controllers by state space partitioning. Morteza Mohaqeqi, Jakaria Abdullah, Pontus Ekberg, and Wang Yi. In 29th Euromicro Conference on Real-Time Systems: ECRTS 2017, volume 76 of Leibniz International Proceedings in Informatics (LIPIcs), pp 11:1-22, Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2017.
2. Non-speculative load-load reordering in TSO. Alberto Ros, Trevor E. Carlson, Mehdi Alipour, and Stefanos Kaxiras. In Proc. 44th International Symposium on Computer Architecture, pp 187-200, ACM Press, New York, 2017.
3. An executable semantics for synchronous task graphs: From SDRT to Ada. Morteza Mohaqeqi, Jakaria Abdullah, and Wang Yi. In Reliable Software Technologies — Ada-Europe 2017, volume 10300 of Lecture Notes in Computer Science, pp 137-152, Springer, 2017.