UPMARC Day: Past, Present and Future of Parallel Programming

      13 November 2018, Uppsala, Sweden

Foto: Roland Grönroos


The UPMARC day will take place at Campus Polacksbacken in the conference room Polhemsalen. The lunch is covered by the workshop only for registered participants.


Tuesday, November 13, 2018

Coffee break (08:30-09:00)
Invited Presentation
09:00-10:00 Implications of the Meltdown & Spectre Hardware Security Flaws (abstract)
Mark D. Hill
10:00-10:15 Introduction
Johan Tysk
(Vice-rector of Science and Technology)
10:15-10:30 UPMARC: Overview
Bengt Jonsson
(Director of UPMARC)
Coffee break (10:40-11:10)
Session 1
11:10-11:30 Task parallel programming for Scientific Computing (abstract)
Elisabeth Larsson
11:30-11:50 Testing and Verifying Concurrent Programs using Stateless Model Checking (abstract)
Kostis Sagonas
11:50-12:10 Verifying Parallel Programs under Weak Memory Models (abstract)
Mohamed Faouzi Atig
Lunch Break (12:10-13:30)
Session 2
13:30-13:50 Design for Update: Composability, Predictability and Efficiency (abstract)
Wang Yi
13:50-14:10 Typing Lockfree and Concurrent Programs (abstract)
Tobias Wrigstad
14:10-14:30 Consistency models and their implications on core architecture (abstract)
Stefanos Kaxiras
14:30-14:50 Green Cache: Energy-efficient pointer-based multicore caches (abstract)
Erik Hagersten
Coffee Break (14:50-15:30)
Poster Session (including industrial projects)
15:30-16:30 Poster Session (including industrial projects)

You are welcome to bring a poster. Please inform Roland Grönroos about the space you need. We will be using the Aluminium screens as described at http://www.polacksbacken.uu.se/Service/utrustning/posters/
16:30-17:00 Conclusing Remarks
Bengt Jonsson


  Important dates:

  Registration Deadline:
   7 November 2018 at 13:00

   13 November 2018