<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">========================================================================</span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">Call for Papers</span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier; min-height: 16px;">
<span class="" style="font-kerning: none;"></span><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">Workshop on Virtual Machines and Language Implementations (VMIL’22)</span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier; min-height: 16px;">
<span class="" style="font-kerning: none;"></span><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">Co-located with SPLASH 2022</span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">December 05, 2022, Auckland, New Zealand</span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier; min-height: 16px;">
<span class="" style="font-kerning: none;"></span><br class="">
</div>
<div class="" style="margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier; color: rgb(0, 0, 233);">
<span class="" style="text-decoration: underline; font-kerning: none;"><a href="https://2021.splashcon.org/home/vmil-2021" class="">https://2022.splashcon.org/home/vmil-2022</a></span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">Follow us on twitter @VMIL2022</span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">========================================================================</span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier; min-height: 16px;">
<span class="" style="font-kerning: none;"></span><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">The concept of virtual machines is pervasive in the design and </span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">implementation of programming systems. Virtual machines and the </span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">languages they implement are crucial in the specification, </span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">implementation and/or user-facing deployment of most programming </span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">technologies.</span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier; min-height: 16px;">
<span class="" style="font-kerning: none;"></span><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">VMIL 2022 will have a hybrid model, though the details are yet to be </span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">fully worked out. You can keep up to date with the hybrid conference </span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">model on SPLASH's web site: <a href="https://2021.splashcon.org/" class=""><span class="" style="font-kerning: none; color: rgb(0, 0, 233);">https://2022.splashcon.org</span></a></span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier; min-height: 16px;">
<span class="" style="font-kerning: none;"></span><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">The workshop is intended to be welcoming to a wide range of topics and </span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">perspectives, covering all areas relevant to the workshop’s theme. </span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">Aspects of interest include, but are not limited to:</span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier; min-height: 16px;">
<span class="" style="font-kerning: none;"></span><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">- design issues in VMs and IRs (e.g. IR design, VM modularity, polyglotism);</span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">- compilation (static and dynamic compilation strategies, optimizations, </span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">data representations);</span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">- memory management;</span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">- concurrency (both internal and user-facing);</span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">- tool support and related infrastructure (profiling, debugging, </span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">liveness, persistence);</span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">- the experience of VM development (use of high-level languages, </span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">bootstrapping and self-hosting, reusability, portability, developer </span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">tooling, etc).</span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">- empirical studies on related topics, such as usage patterns, the </span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">usability of languages or tools, experimental methodology, or benchmark </span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">design.</span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier; min-height: 16px;">
<span class="" style="font-kerning: none;"></span><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier; min-height: 16px;">
<span class="" style="font-kerning: none;"></span><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">Submission Guidelines</span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">---------------------</span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier; min-height: 16px;">
<span class="" style="font-kerning: none;"></span><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">We invite high-quality papers in the following two categories:</span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier; min-height: 16px;">
<span class="" style="font-kerning: none;"></span><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;"> * Research and experience papers: These submissions should describe </span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">work that advances the current state of the art in the above or related </span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">areas. The suggested length of these submissions is 6–10 pages (maximum </span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">10pp, excluding references).</span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier; min-height: 16px;">
<span class="" style="font-kerning: none;"></span><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;"> * Work-in-progress or position papers: These papers should document </span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">ongoing efforts in an area of interest which have not yet yielded final </span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">results, and/or should present and defend the authors’ position on a </span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">topic related to the broad area of the workshop. The maximum length of </span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">these submissions is 6 pages, but we will consider shorter submissions </span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">(e.g. a well-written 2-page abstract).</span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier; min-height: 16px;">
<span class="" style="font-kerning: none;"></span><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">For the first submission deadline, all paper types are considered for </span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">publication in the ACM Digital Library, except if the authors prefer not </span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">to be included. Publication of work-in-progress and position papers at </span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">VMIL is not intended to preclude later publication elsewhere.</span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier; min-height: 16px;">
<span class="" style="font-kerning: none;"></span><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">Submissions will be judged on novelty, clarity, timeliness, relevance, </span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">and potential to stimulate discussion during the workshop.</span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier; min-height: 16px;">
<span class="" style="font-kerning: none;"></span><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">For the second deadline, we will consider only work-in-progress and </span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">position papers. Abstracts do not have to be submitted before the </span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">deadline. These will not be published in the ACM DL, and will only </span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">appear on the website.</span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier; min-height: 16px;">
<span class="" style="font-kerning: none;"></span><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">The address of the submission site is: <a href="https://vmil22.hotcrp.com/" class=""><span class="" style="font-stretch: normal; font-size: 11.9px; line-height: normal; font-kerning: none; background-color: rgb(255, 255, 255);">https://vmil22.hotcrp.com</span></a></span><span class="" style="font-stretch: normal; font-size: 11.9px; line-height: normal; text-decoration: underline; font-kerning: none; background-color: rgb(255, 255, 255);"> </span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier; min-height: 16px;">
<span class="" style="font-kerning: none;"></span><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier; min-height: 16px;">
<span class="" style="font-kerning: none;"></span><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">Important Dates</span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">---------------</span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier; min-height: 16px;">
<span class="" style="font-kerning: none;"></span><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">All deadlines are Anywhere on Earth (AoE), i.e., UTC-12h</span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier; min-height: 16px;">
<span class="" style="font-kerning: none;"></span><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">Thursday, September 1: Abstract submission deadline</span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">Friday, September 9: Submission deadline (research and experience papers)</span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">Sunday, September 18: Submission deadline (WIP and position papers)</span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">Wednesday, October 5: Acceptance notification</span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">Monday, October 24: Camera-ready paper deadline</span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier; min-height: 16px;">
<span class="" style="font-kerning: none;"></span><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier; min-height: 16px;">
<span class="" style="font-kerning: none;"></span><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">Format Instructions</span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">-------------------</span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier; min-height: 16px;">
<span class="" style="font-kerning: none;"></span><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">Please use the SIGPLAN acmart style for all papers: </span></div>
<div class="" style="margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier; color: rgb(0, 0, 233);">
<span class="" style="text-decoration: underline; font-kerning: none;"><a href="http://www.sigplan.org/Resources/Author/" class="">http://www.sigplan.org/Resources/Author/.</a></span><span class="" style="font-kerning: none; color: rgb(0, 0, 0);"> The provided
double-column </span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">template is available for Latex and Word.</span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier; min-height: 16px;">
<span class="" style="font-kerning: none;"></span><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier; min-height: 16px;">
<span class="" style="font-kerning: none;"></span><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">Organization</span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">------------</span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier; min-height: 16px;">
<span class="" style="font-kerning: none;"></span><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">Program Committee:</span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier; min-height: 16px;">
<span class="" style="font-kerning: none;"></span><br class="">
</div>
<div class="" style="margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier; color: rgb(0, 0, 0);">
<span class="" style="font-kerning: none;">Steve Blackburn, Google and Australian National University</span></div>
<div class="" style="margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier; color: rgb(0, 0, 0);">
<span class="" style="font-kerning: none;">Elisa Gonzalez Boix, Vrije Universiteit Brusse</span></div>
<div class="" style="margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier; color: rgb(0, 0, 0);">
<span class="" style="font-kerning: none;">Georgia Kouveli, ARM</span></div>
<div class="" style="margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier; color: rgb(0, 0, 0);">
<span class="" style="font-kerning: none;">Doug Lea, State University of New York (SUNY) Oswego</span></div>
<div class="" style="margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier; color: rgb(0, 0, 0);">
<span class="" style="font-kerning: none;">David Leopoldseder, Oracle Labs</span></div>
<div class="" style="margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier; color: rgb(0, 0, 0);">
<span class="" style="font-kerning: none;">Ondřej Lhoták, University of Waterloo</span></div>
<div class="" style="margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier; color: rgb(0, 0, 0);">
<span class="" style="font-kerning: none;">Daryl Maier, IBM Canada</span></div>
<div class="" style="margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier; color: rgb(0, 0, 0);">
<span class="" style="font-kerning: none;">Michail Papadimitriou, OctoML</span></div>
<div class="" style="margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier; color: rgb(0, 0, 0);">
<span class="" style="font-kerning: none;">Ben L. Titzer, Carnegie Mellon University</span></div>
<div class="" style="margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier; color: rgb(0, 0, 0);">
<span class="" style="font-kerning: none;">Petr Tuma, Charles University</span></div>
<div class="" style="margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier; color: rgb(0, 0, 0);">
<span class="" style="font-kerning: none;">Sandhya Viswanathan, Intel</span></div>
<div class="" style="margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier; color: rgb(0, 0, 0);">
<span class="" style="font-kerning: none;">Foivos S. Zakkak, Red Hat</span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier; min-height: 16px;">
<span class="" style="font-kerning: none;"></span><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">PC Chairs:</span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier; min-height: 16px;">
<span class="" style="font-kerning: none;"></span><br class="">
</div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">Christos Kotselidis, The University of Manchester/KTM Innovation</span></div>
<div class="" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); margin: 0px; font-stretch: normal; font-size: 13px; line-height: normal; font-family: Courier;">
<span class="" style="font-kerning: none;">Aleksandar Prokopec, Oracle Labs</span></div>
</body>
</html>