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. Oprimal dynamic partial order reduction with observers. Stavros Aronis, Bengt Jonsson, Magnus Lång, and Konstantinos Sagonas. In Tools and Algorithms for the Construction and Analysis of Systems, TACAS, 2018, volume 06 of Lecture Notes in Computer Science, Springer Berlin/Heidelberg, Berlin, 2018.
  2. Verification of timed asynchronous programs. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Shankara Narayanan Krishna, and Shaan Vaidya. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science: FSTTCS 2018, volume 122 of Leibniz International Proceedings in Informatics, pp 8:1-16, Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2018.
  3. C?: A New Modular Approach to Implementing Efficient and Tunable Collections. Stephan Brandauer, Elias Castegren, and Tobias Wrigstad. In Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward! 2018), pp 57-71, ACM, 2018.


Theses, Dissertations 2018

Yunyun Zhu: Caches, Transactions and Memories: Models, Coherence and Consistency. Ph.D. thesis. Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology, ISSN 1651-6214 nr 1665. Acta Universitatis Upsaliensis, 2018.

Jonatan Lindén: Synchronization Techniques in Parallel Discrete Event Simulation. Ph.D. thesis. Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology, ISSN 1651-6214 nr 1634. Acta Universitatis Upsaliensis, 2018.

Afshin Zafari: Advances in Task-Based Parallel Programming for Distributed Memory Architectures
Opponent: Doctor George Bosilca,University of Tennessee.

Elias Castegren: Capability-Based Type Systems for Concurrency Control
Opponent: Professor Alan Mycroft, Cambridge University.

Stavros Aronis: Effective Techniques for Stateless Model Checking
Opponent: Patrice Godefroid, Microsoft Research.

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

Othmane Rezine: Verification of networks of communicating processes: Reachability problems and decidability issues
Opponent: Professor Doctor Barbara König, University of Duisburg-Essen, Germany.


Updated  2018-11-27 08:59:59 by Konstantinos Sagonas.