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.

Theses, Dissertations

2018-03-02 at 10:00, sal 2446, ITC, Lägerhyddsvägen 2, hus 2, Uppsala
Afshin Zafari: Advances in Task-Based Parallel Programming for Distributed Memory Architectures
Opponent: Doctor George Bosilca,University of Tennessee.

2018-02-09 at 13:15, sal 2446, ITC, Lägerhyddsvägen 2, hus 2, Uppsala
Elias Castegren: Capability-Based Type Systems for Concurrency Control
Opponent: Professor Alan Mycroft, Cambridge University.

2018-02-02 at 13:15, ITC/2446, Lägerhyddsvägen 2, 752 37, Uppsala
Stavros Aronis: Effective Techniques for Stateless Model Checking
Opponent: Patrice Godefroid, Microsoft Research.

2018-01-17 Static Instruction Scheduling for High Performance on Energy-Efficient Processors. Kim-Anh Tran. Licentiate thesis.

2018-01-12 at 13:15, ITC/2446, Polacksbacken, Lägerhyddsvägen 2,, Uppsala
Othmane Rezine: Verification of networks of communicating processes: Reachability problems and decidability issues
Opponent: Professor Doctor Barbara König, University of Duisburg-Essen, Germany.


  • The paper Trevor E. Carlson, Kim-Anh Tran, Alexandra Jimborean, Konstantinos Koukos, Magnus Själander and Stefanos Kaxiras. "Transcending Hardware Limits with Software Out-of-order Processing." IEEE Computer Architecture Letters (2017) was selected as one of three Best of CAL in 2017 by the Editorial Board of IEEE Computer Architecture Letters (CAL).
    • Authors of Best of CAL papers get to present their work (and any follow-up results if they wish) at the IEEE International Symposium on High Performance Computer Architecture (HPCA). This year, the Best of CAL session will take place on the second day of the conference, February 27, 2018.
    • This is a first for our department, to have a CAL paper awarded a presentation in the one of the top-two forums in Computer Architecture.
  • Parosh Abdulla and Bengt Jonsson have, together with two French research colleagues, received the prestigious "CAV award" in 2017. The award is in recognition of their research on verification of correctness for parallel programs and computer systems.

Recent publications

  1. Analyzing performance variation of task schedulers with TaskInsight. Germán Ceballos, Thomas Grass, Andra Hugo, and David Black-Schaffer. In Parallel Computing, volume 75, pp 11-27, 2018.
  2. A general high order two-dimensional panel method. Anders Goude and Stefan Engblom. In Applied Mathematical Modelling, volume 60, pp 1-17, 2018.
  3. A Skiplist-Based Concurrent Priority Queue with Minimal Memory Contention. Jonatan Lindén and Bengt Jonsson. Technical report / Department of Information Technology, Uppsala University nr 2018-003, 2018.


Updated  2018-02-16 14:15:43 by Roland Grönroos.