The Uppsala Programming for Multicore Architectures Research Center (UPMARC) will organize the first UPMARC International workshop on Memory Models (MM'2015). This event will take place at Campus Polacksbacken in Uppsala.
This workshop will be the occasion to review recent breakthroughs by renown invited experts on the analysis of programs running on systems that do not provide sequential consistence. Examples of such systems include relaxed memory models, weakly coherent cache protocols, replicated data systems, etc. Our aim is to bring together researchers from academia and industry from the areas of computer architecture, program verification, and programming languages, in order to identify synergy opportunities as well as new challenges related to the topics of the workshop.
This will also be the occasion to survey emerging trends and emphasize on key open challenges. Participants are kindly encouraged to discuss on core scientific issues that need to be further tackled.