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.

2019-01-21 Tuan-Phong Ngo: Model Checking of Software Systems under Weak Memory Models at 13:15, Room 2446, Department of Information Technology, Polacksbacken (Lägerhyddsvägen 2), Uppsala
2019-01-23 Stephan Brandauer: Structured Data at 13:15, Room 2446, Institutionen för informationsteknologi, Polacksbacken, Lägerhyddsvägen 2, Uppsala

1. Model Checking of Software Systems under Weak Memory Models. Tuan-Phong Ngo. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1745, Acta Universitatis Upsaliensis, Uppsala, 2019.

• Germán Ceballos, Erik Hagersten och David Black-Schaffer received the Best Student Paper Award at the 16th International Symposium on Parallel and Distributed Processing with Applications in Melbourne, Australia.
• Kiko Fernandez-Reyes, Dave Clarke, Elias Castegren, and Huu-Phuc Vo have received the best paper award at COORDINATION 2018 conference for their paper "Forward to a Promising Future."
• Björn Victor, was awarded the Uppsala University Pedagogical Award for 2018 in the area of mathematics, natural sciences, and technology.
• Stefanos Kaxiras, has been inducted in the ISCA Hall of Fame.
• The paper Optimal Dynamic Partial Order Reduction with Observers won one of the TACAS'18 distinguished artifact awards at ETAPS 2018 in April 2018.

Past, Present and Future of Parallel Programming