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.



Important Dates
Full Paper Submission: October 6, 2017
Author Notification: October 20, 2017
Final Paper Submission: November 10, 2017
Early Registration Deadline: Early November, 2017
MCC Workshop: November 30 - December 1, 2017


  • 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.
  • 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).

Recent publications

  1. Source Sets: A Foundation for Optimal Dynamic Partial Order Reduction. Parosh Aziz Abdulla, Stavros Aronis, Bengt Jonsson,, and Konstantinos Sagonas. In Journal of the ACM, volume 64, number 4, Association for Computing Machinery (ACM), 2017.
  2. The shared-memory interferences of Erlang/OTP built-ins. Stavros Aronis and Konstantinos Sagonas. In Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang, Association for Computing Machinery (ACM), New York, 2017.
  3. Testing And Verifying Chain Repair Methods For CORFU Using Stateless Model Checking. Stavros Aronis, Konstantinos Sagonas, and Scott Lystig Fritchie. In , volume 10510 of Lecture Notes in Computer Science, pp 227-242, Springer, Cham, 2017.


Updated  2017-10-03 09:14:32 by Roland Grönroos.