Call for Papers

Virtualization has a central role in modern systems. It constitutes a key aspect in a wide range of environments, from small mobile computing devices to large-scale data centers and computational clouds. Virtualization techniques encompass the underlying hardware, the operating system, and the runtime system. Although these layers have different design and implementation techniques, the fundamental challenges and insights tend to be similar.

The 15th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE’19) brings together researchers and practitioners from different computer systems domains to interact and share ideas in order to advance the state of the art of virtualization and broaden its applicability. VEE’19 accepts both full-length and short papers. Both types of submissions are reviewed to the same standards and differ primarily in the scope of the ideas expressed. Short papers are limited to half the space of full-length papers. The program committee will not accept a full paper on the condition that it is cut down to fit in a short paper slot, nor will it invite short papers to be extended to full length. Submissions will be considered only in the category in which they are submitted.

Short papers are relatively new to VEE. An ideal short paper would express an idea that doesn’t require 12 pages to describe or evaluate. The ideas should be well formed and complete just like those in a full-length paper. A short paper should not be a HotOS / HotStorage-style workshop paper with an interesting idea that isn’t yet fully developed. Short papers will be held to the same standard as full-length papers in terms of clarity of presentation and evaluation, however, the scope of the work as well as the breadth of the evaluation is expected to be smaller.

We invite authors to submit original papers related to virtualization across all layers of the software stack down to the microarchitectural level. Topics of interest include (but are not limited to):

  • architecture support for virtualization;
  • compiler and programming language support for virtualization;
  • managed runtimes and virtual machines;
  • management technologies for virtual environments;
  • memory management;
  • operating system support for virtualization;
  • performance analysis and debugging for virtual environments;
  • runtime system support for virtualization;
  • security and virtual environments;
  • virtual I/O, storage, and networking;
  • virtualization in cloud computing
  • virtualization support for programs and programmers;
  • virtualization technologies applied to specific problem domains such as HPC, realtime, and power management.
Tracks
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 14 Apr

Displayed time zone: Eastern Time (US & Canada) change

07:30 - 08:30
07:30
60m
Day opening
Breakfast
Catering

08:30 - 09:30
Keynote: "The Changing Face of Enterprise Virtualization" by Josh Simons from VMwareResearch Papers at Garden Room
08:30
60m
Industry talk
Keynote: "The Changing Face of Enterprise Virtualization" by Josh Simons from VMware
Research Papers

09:30 - 10:00
Morning breakCatering at L'Apogee foyer
09:30
30m
Coffee break
Break
Catering

10:00 - 12:05
10:00
25m
Talk
TEEv: Virtualizing Trusted Execution Environments on Mobile Platforms
Research Papers
Wenhao Li Shanghai Jiao Tong University, China, Yubin Xia Shanghai Jiao Tong University, China, Long Lu Northeastern University, n.n., Haibo Chen Shanghai Jiao Tong University, China, Binyu Zang Shanghai Jiao Tong University, China
10:25
25m
Talk
Secure Guest Virtual Machine Support in Apparition
Research Papers
Ethan Johnson University of Rochester, USA, Komail Dharsee University of Rochester, USA, John Criswell University of Rochester, USA
10:50
25m
Talk
ACRN: A Big Little Hypervisor for IoT Development
Research Papers
Hao Li , Xuefei Xu Intel, China, Jinkui Ren Intel, China, Yaozu Dong Intel, China
11:15
25m
Talk
Fast and Live Hypervisor Replacement
Research Papers
Spoorti Doddamani Binghamton University, USA, Piush Kumar Sinha Binghamton University, USA, Hui Lu Binghamton University, USA, Tsu-Hsiang K. Cheng Binghamton University, USA, Hardik H. Bagdi Binghamton University, USA, Kartik Gopalan Binghamton University, USA
11:40
25m
Talk
A Binary-Compatible Unikernel
Research Papers
Pierre Olivier Virginia Tech, USA, Daniel Chiba Virginia Tech, USA, Stefan Lankes RWTH Aachen University, Germany, Changwoo Min Virginia Tech, USA, Binoy Ravindran Virginia Tech, USA
12:05 - 13:30
12:05
85m
Lunch
Lunch
Catering

13:30 - 15:35
13:30
25m
Talk
Cross-ISA Machine Instrumentation Using Fast and Scalable Dynamic Binary Translation
Research Papers
Emilio G. Cota Columbia University, USA, Luca P. Carloni Columbia University, USA
13:55
25m
Talk
The Janus Triad: Exploiting Parallelism through Dynamic Binary Modification
Research Papers
Ruoyu Zhou University of Cambridge, UK, George Wort University of Cambridge, UK, Marton Erdos University of Cambridge, UK, Timothy M. Jones University of Cambridge, UK
14:20
25m
Talk
Mitigating JIT Compilation Latency in Virtual Execution Environments
Research Papers
Martin Kristien University of Edinburgh, UK, Tom Spink University of Edinburgh, Harry Wagstaff University of Edinburgh, UK, Björn Franke University of Edinburgh, UK, Igor Böhm Synopsys, Austria, Nigel Topham University of Edinburgh, UK
14:45
25m
Talk
ScissorGC: Scalable and Efficient Compaction for Java Full Garbage Collection
Research Papers
Haoyu Li Shanghai Jiao Tong University, China, Mingyu Wu Shanghai Jiao Tong University, China, Binyu Zang Shanghai Jiao Tong University, China, Haibo Chen Shanghai Jiao Tong University, China
15:10
25m
Talk
Stochastic Resource Allocation
Research Papers
Liran Funaro Technion, Israel, Orna Agmon Ben-Yehuda Technion, Israel, Assaf Schuster Technion, Israel
15:35 - 16:00
Afternoon breakCatering at L'Apogee foyer
15:35
25m
Coffee break
Break
Catering

16:00 - 18:05
16:00
25m
Talk
QuickCheck: Using Speculation to Reduce the Overhead of Checks in NVM Frameworks
Research Papers
Thomas Shull University of Illinois at Urbana-Champaign, Jian Huang University of Illinois at Urbana-Champaign, Josep Torrellas University of Illinois at Urbana-Champaign
16:25
25m
Talk
Tail Latency in Node.js: Energy Efficient Turbo Boosting for Long Tail Requests in JavaScript
Research Papers
Wenzhi Cui Google, Daniel Richins The University of Texas at Austin, Yuhao Zhu University of Rochester, Vijay Janapa Janapa Reddi Harvard University
16:50
25m
Talk
Dynamic Application Reconfiguration on Heterogeneous Hardware
Research Papers
Juan Fumero University of Manchester, UK, Michail Papadimitriou University of Manchester, UK, Foivos S. Zakkak University of Manchester, UK, Maria Xekalaki University of Manchester, UK, James Clarkson University of Manchester, UK, Christos Kotselidis University of Manchester, UK
DOI Authorizer link
17:15
25m
Talk
vSocket: Virtual Socket Interface for RDMA in Public Clouds
Research Papers
Dongyang Wang University of Science and Technology of China, China, Binzhang Fu Huawei Technologies, n.n., Gang Lu Huawei Technologies, n.n., Kun Tan Huawei Technologies, n.n., Bei Hua Huawei Technologies, n.n. / University of Science and Technology of China, China
17:40
25m
Talk
vCPU as a Container: Towards Accurate CPU Allocation for VMs
Research Papers
Li Liu George Mason University, USA, Haoliang Wang Adobe Research, USA, An Wang Case Western Reserve University, USA, Mengbai Xiao Ohio State University, USA, Yue Cheng George Mason University, USA, Songqing Chen George Mason University, USA

Call for Papers

Virtualization has a central role in modern systems. It constitutes a key aspect in a wide range of environments, from small mobile computing devices to large-scale data centers and computational clouds. Virtualization techniques encompass the underlying hardware, the operating system, and the runtime system. Although these layers have different design and implementation techniques, the fundamental challenges and insights tend to be similar.

The 15th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE’19) brings together researchers and practitioners from different computer systems domains to interact and share ideas in order to advance the state of the art of virtualization and broaden its applicability. VEE’19 accepts both full-length and short papers. Both types of submissions are reviewed to the same standards and differ primarily in the scope of the ideas expressed. Short papers are limited to half the space of full-length papers. The program committee will not accept a full paper on the condition that it is cut down to fit in a short paper slot, nor will it invite short papers to be extended to full length. Submissions will be considered only in the category in which they are submitted.

Short papers are relatively new to VEE. An ideal short paper would express an idea that doesn’t require 12 pages to describe or evaluate. The ideas should be well formed and complete just like those in a full-length paper. A short paper should not be a HotOS / HotStorage-style workshop paper with an interesting idea that isn’t yet fully developed. Short papers will be held to the same standard as full-length papers in terms of clarity of presentation and evaluation, however, the scope of the work as well as the breadth of the evaluation is expected to be smaller.

We invite authors to submit original papers related to virtualization across all layers of the software stack down to the microarchitectural level. Topics of interest include (but are not limited to):

  • architecture support for virtualization;
  • compiler and programming language support for virtualization;
  • managed runtimes and virtual machines;
  • management technologies for virtual environments;
  • memory management;
  • operating system support for virtualization;
  • performance analysis and debugging for virtual environments;
  • runtime system support for virtualization;
  • security and virtual environments;
  • virtual I/O, storage, and networking;
  • virtualization in cloud computing
  • virtualization support for programs and programmers;
  • virtualization technologies applied to specific problem domains such as HPC, realtime, and power management.

Submission Guidelines

Please submit your paper through https://vee19.hotcrp.com/ after reading the following submission instructions.

Submissions must attack an interesting problem and clearly articulate their contribution relative to previous work. Submissions must be in ACM SIGPLAN proceedings format, 10-point type on 11-point leading, 7x9 inch text block, and two columns with .33 inch column separation, and submissions may not exceed 12 pages for full papers and 6 pages for short papers, excluding references. Word and LaTeX templates for this format are available at http://www.sigplan.org/authorInformation.htm (but please note that 10-point is not the default). Pages must be numbered, and submissions must be in PDF, legible when printed black and white on US Letter and A4 paper. All fonts must be embedded in the submitted PDF. Submissions violating the formatting guidelines may be rejected without review.

Reviewing will be double blind, therefore submissions must be anonymous. Author names, affiliations, acknowledgments, and any other hints of identity must not be included in the submission. You should not anonymize your bibliographic references; instead, cite your work in the third person so that your submission is self-contained. Make a good-faith effort to conceal any authorship connection between prior work and yours.

Submissions must describe unpublished work that is not currently submitted for publication elsewhere as discussed at http://www.sigplan.org/Resources/Policies/Republication. Authors of accepted papers will be required to sign an ACM copyright release. The proceedings will be published by ACM.

AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work. (For those rare conferences whose proceedings are published in the ACM Digital Library after the conference is over, the official publication date remains the first day of the conference.)

Please ensure that your paper satisfies all the above requirements for content and formatting before submission; if you have a question about any of these issues, please send email to the program chairs.

Accepted Papers

Title
A Binary-Compatible Unikernel
Research Papers
ACRN: A Big Little Hypervisor for IoT Development
Research Papers
Cross-ISA Machine Instrumentation Using Fast and Scalable Dynamic Binary Translation
Research Papers
Dynamic Application Reconfiguration on Heterogeneous Hardware
Research Papers
DOI Authorizer link
Fast and Live Hypervisor Replacement
Research Papers
Mitigating JIT Compilation Latency in Virtual Execution Environments
Research Papers
QuickCheck: Using Speculation to Reduce the Overhead of Checks in NVM Frameworks
Research Papers
ScissorGC: Scalable and Efficient Compaction for Java Full Garbage Collection
Research Papers
Secure Guest Virtual Machine Support in Apparition
Research Papers
Stochastic Resource Allocation
Research Papers
TEEv: Virtualizing Trusted Execution Environments on Mobile Platforms
Research Papers
Tail Latency in Node.js: Energy Efficient Turbo Boosting for Long Tail Requests in JavaScript
Research Papers
The Janus Triad: Exploiting Parallelism through Dynamic Binary Modification
Research Papers
vCPU as a Container: Towards Accurate CPU Allocation for VMs
Research Papers
vSocket: Virtual Socket Interface for RDMA in Public Clouds
Research Papers