Department of Information Technology
Uppsala Programming for Multicore Architectures Research Center

Uppsala Programming for Multicore Architectures Research Center

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.

News

  • Kim-Anh Tran was awarded the third prize for her work on compiling for energy-efficiency "SWOOP: Software Out-of-Order Execution for In-Order Architectures" in the ACM Student Research competition organised in conjunction with PACT'16. More details about the competition and prizes are available here: http://pactconf.org/acm-src/

GermanCeballosposteraward2016.jpg

  • Independent Pedagogical Award 2016: David Black-Schaffer has been awarded the Independent Pedagogical Award 2016! The theme was "Integration of digital resources in teaching and learning". The motivation: David Black-Schaffer accounts for a dedicated and enthusiastic integration of digital resources in teaching and learning. The students work actively and are supported in their learning process with very elaborated digital teaching material. With great passion, he develops, uses and renews a "flipped classroom teaching", which he has also shared with students and teachers. This full-scale integration of digital resources stimulates learning and makes the studying fun. [Editor's translation]

Dissertations in September 2016

  1. Verification of Software under Relaxed Memory. Carl Leonardsson. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1387, Acta Universitatis Upsaliensis, Uppsala, 2016.
  2. Data-driven network modelling of disease transmission using complete population movement data: spread of VTEC O157 in Swedish cattle. Stefan Widgren, Stefan Engblom, Pavol Bauer, Jenny Frössling, Ulf Emanuelson, and Ann Lindberg. In Veterinary research (Print), volume 47, pp 81:1-17, 2016.
  3. Stateless model checking for POWER. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, and Carl Leonardsson. In Computer Aided Verification: Part II, volume 9780 of Lecture Notes in Computer Science, pp 134-156, Springer, 2016.

Updated  2016-09-22 16:28:52 by Roland Grönroos.