For general requests regarding the EuroSys 2011 workshops, please contact the workshop chair Herbert Bos (contact: email@example.com).
EuroSys 2011 will host the following workshops on April 10, 2011:
|WP1||SFMA 2011||Systems for Future Multi-Core Architectures||Website|
|WP2||CloudCP 2011||1st International Workshop on Cloud Computing Platforms||Website|
|WP3||RED 2011||Rigorous Embedded Design||Website|
|WP4||BADGERS 2011||Workshop on development of large scale security-related data collection and analysis initiatives||Website|
|WP5||Eurosec 2011||European Workshop on System Security||Website|
|WP6||WRiSE 2011||Workshop on Rigorous Systems Engineering||Website|
|WP7||SNS 2011||4th Workshop on Social Network Systems||Website|
|WP8||EuroDW 2011||5th EuroSys Doctoral Workshop||Website|
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.
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.
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.
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.
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.
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.
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.
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).