Department of Information Technology
UPMARC, the Uppsala Programming for Multicore Architectures Research Center

UPMARC Winter Meeting 2013

The UPMARC Winter Meeting will present an overview of current UPMARC work. After the coffee-break in the afternoon, ideas for future research will be presented and discussed. The meeting is open to anyone interested. All participants are encouraged to present a poster (see below re: registration)

Internal page with links to presentations

Before meeting
When and where
  • Date: February 27, 2013
  • Time: 8:00 - 18:00 and dinner afterwards
  • Venue: EBC, Ekmansalen and sal 1 Evolutionary Biology Center, Norbyvägen 14, Find EBC



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.


Updated  2013-02-27 11:45:48 by Roland Grönroos.