Department of Information Technology

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.

Recent publications

  1. Non-Speculative Load-Load Reordering in TSO. Stefanos Kaxiras, Trevor E. Carlson, Mehdi Alipour, and Alberto Ros. In , ACM Press, 2017.
  2. Multigrid for matrix-free finite element computations on graphics processors. Karl Ljungkvist and Martin Kronbichler. Technical report / Department of Information Technology, Uppsala University nr 2017-006, 2017.
  3. Context-bounded analysis for POWER. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, and Tuan Phong Ngo. In Tools and Algorithms for the Construction and Analysis of Systems: Part II, volume 10206 of Lecture Notes in Computer Science, pp 56-74, Springer, 2017.


  • Kim-Anh Tran has January 2017 been awarded an ACM-W scholarship.
  • Kim-Anh Tran has January 2017 been awarded a professional activities grant from the ACM SIGPLAN Professional Activities Committee for attending the International Symposium on Code Generation and Optimization (CGO'17).

Updated  2017-06-13 17:06:38 by Roland Grönroos.