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.
Theses, Dissertations 2019
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
- Model Checking of Software Systems under Weak Memory Models. 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.
UPMARC Day (13 Nov 2018)