Department of Information Technology
Uppsala Programming for Multicore Architectures Research Center

Uppsala Programming for Multicore Architectures Research Center

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.


Dissertations in September 2016

  1. Verification of Software under Relaxed Memory. Carl Leonardsson. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1387, Acta Universitatis Upsaliensis, Uppsala, 2016.
  2. Data-driven network modelling of disease transmission using complete population movement data: spread of VTEC O157 in Swedish cattle. Stefan Widgren, Stefan Engblom, Pavol Bauer, Jenny Frössling, Ulf Emanuelson, and Ann Lindberg. In Veterinary research (Print), volume 47, pp 81:1-17, 2016.
  3. Stateless model checking for POWER. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, and Carl Leonardsson. In Computer Aided Verification: Part II, volume 9780 of Lecture Notes in Computer Science, pp 134-156, Springer, 2016.

Updated  2016-08-22 16:19:38 by Roland Grönroos.