Computer Laboratory

RESoLVE 2013

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

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

19 February 2013: the workshop program is now online.


Today's applications typically target high-level runtime systems and frameworks. At the same time, the operating systems on which they run are themselves increasingly being deployed on top of (hardware) virtual machines. These trends are enabling applications to be written, tested, and deployed more quickly, while simplifying tasks such as checkpointing, providing fault-tolerance, enabling data and computation migration, and making better, more power-efficient use of hardware infrastructure.

However, much current work on virtualization still focuses on running unmodified legacy systems and most higher-level runtime systems ignore the fact that they are deployed in virtual environments. The workshop on Runtime Environments, Systems, Layering, and Virtualized Environments (RESoLVE 2013) aims to brings together researchers in both the OS and language level virtual 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 new software architectures:

  • better structuring / communication of services and divisions of labor
  • trade-offs in the boundary between trusted and untrusted bases and mechanisms to provide information / feedback across the layers
  • approaches for particular services (e.g. memory management / garbage collection / synchronization / signalling / scheduling)
  • prototypes demonstrating combinations of SW- and HW-based techniques to provide better isolation, scaling, and quality-of-service
  • programming language, program analysis, and program transformation approaches for introducing statically- or dynamically-enforced virtualization or protection properties
  • enable legacy systems to more readily take advantage of new hardware and software capabilities through virtual appliances and services
  • programming language runtime interaction with other layers, including hypervisors and operating systems
  • visualization / introspection techniques for understanding the resulting systems

The RESoLVE 2013 workshop will be co-located with ASPLOS 2013 in Houston, Texas, USA. The goal is to complement the larger discussion at ASPLOS and VEE.

Workshop programme

As of February 2013, a workshop programme is now available. A detailed schedule will follow.

Important dates

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

Final papers will be available to participants electronically at the meeting, but to facilitate resubmission to more formal venues, no archival proceedings will be published, and papers will not be sent to the ACM Digital Library. Authors will have the option of making their final paper accessible from the workshop website.



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