April 10 - 13, 2011

Salzburg, Austria


For general requests regarding the EuroSys 2011 workshops, please contact the workshop chair Herbert Bos (contact:

EuroSys 2011 will host the following workshops on April 10, 2011:

WP1SFMA 2011Systems for Future Multi-Core ArchitecturesWebsite
WP2CloudCP 20111st International Workshop on Cloud Computing PlatformsWebsite
WP3RED 2011Rigorous Embedded DesignWebsite
WP4BADGERS 2011Workshop on development of large scale security-related data collection and analysis initiativesWebsite
WP5Eurosec 2011European Workshop on System SecurityWebsite
WP6WRiSE 2011Workshop on Rigorous Systems EngineeringWebsite
WP7SNS 20114th Workshop on Social Network SystemsWebsite
WP8EuroDW 20115th EuroSys Doctoral WorkshopWebsite

SFMA'11: Systems for Future Multi-Core Architectures

Ross McIlroy (Microsoft Research), Joe Sventek (University of Glasgow), Tim Harris (Microsoft Research), Timothy Roscoe (ETH Zurich)

The workshop on Systems for Future Multi-Core Architectures (SFMA'11) brings together researchers in the operating systems, language runtime and virtual machine communities to exchange ideas and experiences on the challenges and opportunities presented by future multi-core hardware.

CloudCP'11: 1st International Workshop on Cloud Computing Platforms

Thilo Kielmann (Vrije Universiteit), Guillaume Pierre (Vrije Universiteit)

This workshop is investigating the needs and requirements from different, potential cloud application domains, and especially how cloud computing platforms (IaaS, PaaS, and their integration) can be built in order to meet these requirements. We aim to bring together researchers and practitioners interested in the technical aspects of cloud computing. The focus of the workshop is on novel, practical, systems-oriented work.

BADGERS'11: Workshop on development of large scale security-related data collection and analysis initiatives

Engin Kirda (EURECOM), Thorsten Holz (University of Mannheim)

The BADGERS workshop is intended to encourage the development of large scale security-related data collection and analysis initiatives. It will provide an environment to describe already existing real-world, large-scale datasets, and to share with the systems community the return on experiences acquired by analyzing such collected data. Furthermore, novel approaches to collect and study such data sets are welcome.

Eurosec'11: European Workshop on System Security

Steven Hand (University of Cambridge), Engin Kirda (EURECOM)

EuroSec is a recent workshop associated with the Annual ACM SIGOPS EuroSys conference. The workshop aims to bring together researchers, practitioners, system administrators, system programmers, and others interested in the latest advances in the security of computer systems and networks. The focus of the workshop is on novel, practical, systems-oriented work.

WRiSE'11: Workshop on Rigorous Systems Engineering

Armin Biere (Johannes Kepler University), Leonid Ryzhyk (National ICT)

This workshop provides a platform for the exchange of ideas between systems research and formal methods. Recent years have seen tremendous increase in reasoning power of formal verification techniques. We particular interested in contributions that ''cross the border'', which either apply established, adapted or new formal techniques to computer systems or use precise formal modelling within systems research. Systems papers, which show the need for formal reasoning, would be equally interesting.

SNS'11: 4th Workshop on Social Network Systems

Sameh Elnikety (Microsoft Research), Eiko Yoneki (University of Cambridge)

The fourth workshop on Social Network Systems (SNS'11) will gather researchers to discuss novel ideas about computer systems and social networks. Online social networks are among the most popular sites on the Web and continue to grow rapidly. They provide mechanisms to establish identities, share information, and create relationships. The resulting social graph provides a basis for communicating, distributing and locating content. This workshop will focus on the systems issues of online social networks, including the following: 1. Infrastructure support for social networks (including distributed systems, databases, and storage systems). 2. Ways of leveraging social networks in systems design. 3. Measurement and analysis of existing deployed social networks.

EuroDW'11 5th EuroSys Doctoral Workshop

Peter Dickman (Google), Eiko Yoneki (University of Cambridge)

The EuroSys Doctoral Workshop will provide a forum for PhD students at any stage of their doctoral studies, to present their work and receive constructive feedback from experts in the field as well as from peers. Technical presentations will be augmented with general advice and discussions about getting a PhD, doing research, and post-doctoral careers.

RED'11 Rigorous Embedded Design

Saddek Bensalem (University Joseph Fourier), Axel Legay (INRIA Rennes), Marius Bozga (VERIMAG)

The objective of the workshop is to discuss new methodologies for the rigorous design of embedded systems. Through a series of invited talks, the workshop will survey some of the challenges and emerging approaches in the area. A series of design flows will be presented. The workshop will mainly discuss performance analysis, correctness (high confidence and security), code generation, and modeling aspects (including timed scheduling and software/hardware interactions). Those concepts shall be illustrated with examples coming from the aeronautic, automotive, and robotic areas. Interactions between industrials and academic researchers will be facilitated through a series of open discussion sessions (maybe an interaction between theoretical and more practical presentations).


[03 May 11] Etienne Riviere has some nice photos from Salzburg and the conference here.

[19 Apr 11]  Talk slides are online.

[14 Apr 11]  The EuroSys 2012 page is online and can be found here.

[11 Apr 11]  Photos from the conference are available here.

Older news


In cooperation with