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.

Best paper at CC2016

  1. DuctTeip: A task-based parallel programming framework for distributed memory architectures. Afshin Zafari, Elisabeth Larsson, and Martin Tillenius. Technical report / Department of Information Technology, Uppsala University nr 2016-010, 2016.
  2. Modeling and analysis of data flow graphs using the digraph real-time task model. Morteza Mohaqeqi, Jakaria Abdullah, and Wang Yi. In Reliable Software Technologies — Ada-Europe 2016, volume 9695 of Lecture Notes in Computer Science, pp 15-29, Springer, 2016.
  3. Stateless Model Checking for POWER. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, and Carl Leonardsson. In Computer Aided Verification: CAV 2016, Lecture Notes in Computer Science, Springer, 2016.

Updated  2016-05-24 08:39:20 by Roland Grönroos.