RESoLVE'13 Call for Papers

Runtime Environments, Systems, Layering and Virtualized Environments=20
(RESoLVE 2013)

ASPLOS 2013 Workshop, Houston, Texas, USA=20
March 16, 2013

Introduction

Today's applications typically target high-level runtime systems and framew=
orks. At the same time, the operating systems on which they run are themsel=
ves increasingly being deployed on top of (hardware) virtual machines. Thes=
e trends are enabling applications to be written, tested, and deployed more=
 quickly, while simplifying tasks such as checkpointing, providing fault-to=
lerance, enabling data and computation migration, and making better, more p=
ower-efficient use of hardware infrastructure.

However, much current work on virtualization still focuses on running unmod=
ified legacy systems and most higher-level runtime systems ignore the fact =
that they are deployed in virtual environments. The workshop on Runtime Env=
ironments, Systems, Layering, and Virtualized Environments (RESoLVE 2013) a=
ims to brings together researchers in both the OS and language level virtua=
l machine communities to exchange ideas and experiences and to discuss how =
these separate layers can take advantage of each others' services.

The aim of the workshop is to discuss work-in-progress research around how =
these layers interact and complement each other, and how best to support ne=
w software architectures:

=09
=95 better structuring / communication of services and divisions of labor
=09
=95 trade-offs in the boundary between trusted and untrusted bases and mech=
anisms to provide information / feedback across the layers
=09
=95 approaches for particular services (e.g. memory management / garbage co=
llection / synchronization / signalling / scheduling)
=09
=95 prototypes demonstrating combinations of SW- and HW-based techniques to=
 provide better isolation, scaling, and quality-of-service
=09
=95 programming language, program analysis, and program transformation appr=
oaches for introducing statically- or dynamically-enforced virtualization o=
r protection properties
=09
=95 enable legacy systems to more readily take advantage of new hardware an=
d software capabilities through virtual appliances and services
=09
=95 visualization / introspection techniques for understanding the resultin=
g systems

The RESoLVE 2013 workshop will be co-located with ASPLOS 2013 in Houston, T=
exas, USA. The goal is to complement the larger discussion at ASPLOS and VE=
E.

Website

=09
http://www.cl.cam.ac.uk/research/srg/netos/resolve_2013/

Important dates

=09
=95 Submission deadline: 21 December 2012, 23:59 Apia time
=09
=95 Notification: 31 January 2013
=09
=95 Camera-ready deadline: TBD
=09
=95 Workshop: 16 March 2013

Paper submission

Authors are invited to submit original and unpublished work that exposes a =
new problem, advocates a specific solution, or reports on actual experience=
. Submissions will be judged based upon their correctness, relevance, origi=
nality, significance, and clarity. Submissions should be between 6 and 8 pa=
ges. Submitted papers should include the full list of authors and affiliati=
ons, and be in standard double-column ACM SIGPLAN conference format (please=
 use the 9 pt. template), and submitted in PDF format. Submission instructi=
ons are available at the Website.

Final papers will be available to participants electronically at the meetin=
g, but to facilitate resubmission to more formal venues, no archival procee=
dings will be published, and papers will not be sent to the ACM Digital Lib=
rary. Authors will have the option of making their final paper accessible f=
rom the workshop website.

Organization

Co-Chairs

Robert Watson (University of Cambridge, UK)
Antony Hosking (Purdue University)

Program Committee

Frank Bellosa
Mats Brorsson
Hassan Chafi
Alex Garthwaite
Tim Harris
Ross Mcilroy
Jeremy Singer
Livio Soares
Dan Tsafrir
Luis Veiga
Andrew Warfield
Robert Watson