The Research Papers track presents full-length and short research papers about topics within the scope of the conference.
Authors of accepted papers will be given a virtual platform to present their work and field live questions from a remote audience.
Fri 16 AprDisplayed time zone: Pacific Time (US & Canada) change
06:40 - 07:00
Welcome from the ChairsResearch Papers
07:00 - 08:30
|Effective Exploitation of SIMD Resources in Cross-ISA Virtualization|
Jin Wu , Jian Dong , Ruili Fang , Ziyi Zhao Nankai University, Xiaoli Gong Nankai University, Wenwen Wang University of Georgia, Decheng ZuoDOI
|Swift Shadow Paging (SSP): No Write-Protection but Following TLB Flushing|
Sai Sha , Yi Zhang , Yingwei Luo , Xiaolin Wang Peking University, Zhenlin Wang Michigan Technological UniversityDOI
|Mitigating Excessive vCPU Spinning in VM-Agnostic KVM|
08:30 - 10:00
|virtio-mem: Paravirtualized Memory Hot(Un)Plug|
|Efficient LLVM-Based Dynamic Binary Translation|
Alexis Engelke Technical University of Munich, Dominik Okwieka , Martin Schulz Technical University of MunichDOI
|(No)Compromis: Paging Virtualization Is Not a Fatality|
Boris Teabe , Peterson Yuhala , Alain Tchana Toulouse University, France, Fabian Hermenier , Daniel Hagimont Toulouse University, France, Gilles Muller InriaDOI
10:00 - 11:30
|Automatically Exploiting the Memory Hierarchy of GPUs through Just-in-Time Compilation|
Michail Papadimitriou University of Manchester, UK, Juan Fumero University of Manchester, UK, Athanasios Stratikopoulos The University of Manchester, Christos Kotselidis KTM Innovation / The University of ManchesterDOI
|Multiple-Tasks on Multiple-Devices (MTMD): Exploiting Concurrency in Heterogeneous Managed Runtimes|
Michail Papadimitriou University of Manchester, UK, Eleni Markou , Juan Fumero University of Manchester, UK, Athanasios Stratikopoulos The University of Manchester, Florin Blanaru , Christos Kotselidis KTM Innovation / The University of ManchesterDOI
|Automated Bug Localization in JIT Compilers|
14:00 - 15:30
|Adaptive Live Migration of Virtual Machines under Limited Network Bandwidth|
Handong Li , Xiao Guangrong , Yulei Zhang , Ping Gao , Qiumin Lu , Jianguo Yao Shanghai Jiao Tong UniversityDOI
|How to Design a Library OS for Practical Containers?|
Research PapersDOI Media Attached
|Spons & Shields: Practical Isolation for Trusted Execution|
Vasily Sartakov Imperial College London, Daniel O'Keeffe , Dave Eyers University of Otago, Lluís Vilanova , Peter Pietzuch Imperial College LondonDOI
15:30 - 17:00
|Extending Intel PML for Hardware-Assisted Working Set Size Estimation of VMs|
Stella Bitchebe , Djob Mvondo University of Edinburgh, UK, Alain Tchana , Laurent Réveillère Bordeaux INP, Noel de Palma LIG (Laboratoire d'Informatique de Grenoble)DOI
|BTMMU: An Efficient and Versatile Cross-ISA Memory Virtualization|
Kele Huang Institute of Computing Technology at Chinese Academy of Sciences, China, Fuxin Zhang , Cun Li , Gen Niu , Junrong Wu , Tianyi LiuDOI
|Analysis of NVMe-SSD to Passthrough GPU Data Transfer in Virtualized Systems|
Call for Papers
Virtualization has a central role in a wide range of computing environments, from small embedded systems, to mobile computing devices, to large-scale data centers and computational clouds. Virtualization techniques encompass the underlying hardware, the operating system, and the runtime system in many environments, including virtual machines, managed runtime environments, containers, serverless functions and mobile devices. Although these layers and deployments have different design and implementation techniques, many fundamental challenges and insights are common.
The 17th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE’21) 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’21 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. Each paper must fall into one of two categories and will be considered in that category only. The program committee will not accept a full paper on the condition that it shortened, nor will it invite short papers to be extended to full length.
An ideal short paper expresses an idea that doesn’t require 12 pages to describe or evaluate. The ideas should be complete and well-formed just like those in a full-length paper, rather than 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, but the scope of the work and 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):
- Virtualization, containers or serverless in cloud computing or datacenters
- Virtualization and runtime systems for mobile devices and smart devices
- Architecture support for virtualization, containers or serverless functions
- Compiler and programming language support for virtualization, containers or serverless functions
- Memory management
- Managed runtimes and virtual machines
- Serverless infrastructure and containers
- Management technologies for virtual environments, serverless functions or containers
- Operating system support for virtualization, containers or serverless functions
- Performance analysis and debugging for serverless functions, containers, mobile runtimes or other virtual environments
- Runtime system support for virtualization, containers or serverless functions
- Security for serverless functions, mobile runtimes, containers and other virtual environments;
- Virtual and kernel-bypass I/O, storage, and networking
- Virtualization support for programs and programmers
- Virtualization technologies applied to specific problem domains such as HPC, real-time, and power management
Please submit your paper through https://vee21.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.
Papers will be accepted until Jan 22, 2021.
Submit your papers at vee2021.hotcrp.com.
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.