This year, we presented two papers at RESoLVE 2012 relating to the structure of operating systems and hardware, one focused on CPU instruction set security features out of our CTSRD project, and another on efficient and reconfigurable communications in data centres out of our MRC2 project.
I’m pleased to announce the Call for Papers for RESoLVE 2013, a workshop (co-located with ASPLOS 2013) that 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. This has a particular interest to the security community, who both want to build, and build on, security properties spanning hardware protection (e.g., VMs) and language-level protection.
Runtime Environments, Systems, Layering and Virtualized Environments
(RESoLVE 2013)
ASPLOS 2013 Workshop, Houston, Texas, USA
March 16, 2013
Introduction
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 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.
Website
You can learn more on the RESoLVE 2013 workshop website.
Important dates
Submission deadline: 21 December 2012, 23:59 Apia time
Notification: 31 January 2013
Camera-ready deadline: TBD
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, originality, significance, and clarity. Submissions should be between 6 and 8 pages. Submitted papers should include the full list of authors and affiliations, and be in standard double-column ACM SIGPLAN conference format (please use the 9 pt. template), and submitted in PDF format. Submission instructions will follow once available from ASPLOS.
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.
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