UPMARC Winter Meeting 2013

08.00-09.00 Registration and Setting up Posters in sal 1
09.00-09.05 Welcome (Bengt Jonsson)
09.05-09.35 Tobias Wrigstad: UpMaster education program
09.35-10.00 Sverker Holmgren: Overview of TDB projects
10.00-10.30 Coffee Break
10.30-11.00 Kostis Sagonas: Systematic Testing of Programs to Detect Concurrency Errors
11.00-11.30 David Black-Shaffer: Simplifying multicores for power-efficiency: how VIPS coherence brings simplification on many aspects of multicore design.
11.30-12.00 Parosh Abdulla/Faouzi Atig: Memory Models for Parallel Computing
Lunch 12.00-13.00 EBC (same building)
13.00-14.00 Presentations of Posters: Detailed Program

• Jing Liu: Diffraction Imaging Reconstruction On GPUs

• Dimitar Lukarski, Tobias Skoglund: A priori power estimation of linear solvers on multi-core processors

• Marcus Holm: Dynamic Heterogeneous Autotuning of Adaptive FMM

• Pavol Bauer, Jonathan Lindén: Efficient Parallel Descrete Event Simulation in URDME

• Volkan Cambazoglu: To be announced

• David Klaftenegger and Kjell Winblad: ETS: scaling Erlang's key-value store

• Martin Tillenius: Data-dependent tasks

• Johannes Borgström, Palle Raabjerg: Extending Psi-calculi and their Formal Proofs

• Carl Leonardsson: Verification under Relaxed Memory

• Yunyun Zhu: Verifying Safety and Liveness for the FlexTM Hybrid Transactional Memory

• Jari Stenman: Sequentialization of concurrent recursive programs with context budgets

• Frédéric Haziza: Parameterized Verification

• Cong Quy Trinh: Verifying Heap Manipulating programs with data

• Othmane Rezine: Verification of Wireless Sensor Networks

• Jonas Flodin: Multi-core in Mixed-Critical Embedded Systems

• Jonas Flodin: Real-time applications on multi-core platforms with resource contention

• Vasilios Spiliopoulos, Konstantinos Koukos: Improving power efficiency using a decoupled access-execute approach

• Xiaoyue Pan: Understanding Coherence Cache Misses of Multi-threaded Programs

• Muneeb Khan: Fast And Accurate Instruction Cache Modeling Using Instruction Reuse Profiles

14.00-15.30 Poster Session including Coffe break
15.30-17.30 For Seniors in UPMARC:: Discussion about future projects
. . . . . . . . . . . including pre-announced presentations:

• Bengt Jonsson: Introduction

• Stefan Engblom: Exploding molecules and burning cycles

• Tjark Weber: Interactive Verification of Relaxed-Memory Concurrency

• Kai Lampka/Philipp Ruemmer: Integrating Modelling, Analysis and Code Synthesis for the Rapid Prototyping of Embedded Systems

• Wang Yi: Mixed-Criticality on Multicore by Light-Weight Analysis and Monitoring

• Bengt Jonsson: Scalable testing of Erlang programs

18.00- Winter dinner at Restaurang Alexander den store,google map.

Participant list