Department of Information Technology
UPMARC_700x150.jpg

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. Behind the Scenes: Memory Analysis of Graphical Workloads on Tile-based GPUs. Germán Ceballos, Andreas Sembrant, Trevor E. Carlson, and David Black-Schaffer. In 2018 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS), Belfast, UK, 2018.
  2. Mesoscopic modeling of random walk and reactions in crowded media. Stefan Engblom, Per Lötstedt, and Lina Meinecke. In Physical Review E. Statistical, Nonlinear, and Soft Matter Physics, volume 98, pp 033304:1-16, 2018.
  3. Optimal Stateless Model Checking under the Release-Acquire Semantics. Tuan-Phong Ngo, Parosh Abdulla, Bengt Jonsson, and Mohamed Faouzi Atig. In SPLASH OOPSLA 2018, Boston, Nov 4-9, 2018, 2018.

Awards

Theses, Dissertations 2018

2018-05-30
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.

2018-04-10
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.

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

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

2018-02-02
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
Othmane Rezine: Verification of networks of communicating processes: Reachability problems and decidability issues
Opponent: Professor Doctor Barbara König, University of Duisburg-Essen, Germany.

UPMASTER

Updated  2018-07-06 10:38:47 by Roland Grönroos.