Department of Information Technology
UPMARC_700x150.jpg

Our goal

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-02-15 Nikos Nikoleris: Efficient Memory Modeling During Simulation and Native Execution. Location: Sal VIII, Universitetshuset, Time: 9:15
2019-01-23 Stephan Brandauer: Structured Data at 13:15, Room 2446, Institutionen för informationsteknologi, Polacksbacken, Lägerhyddsvägen 2, Uppsala
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

Recent publications

  1. Efficient Memory Modeling During Simulation and Native Execution. Nikos Nikoleris. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1756, Acta Universitatis Upsaliensis, Uppsala, 2019.
  2. 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.

Awards

UPMASTER

Updated  2019-02-14 13:25:29 by Roland Grönroos.