[TYPES/announce] Deadline extended: VMIL at SPLASH/OOPSLA 2019

[Yu David Liu]

The new deadline is Aug 16.


On Sat, Jul 13, 2019 at 12:26 PM Yu David Liu <davidl at binghamton.edu> wrote:

> To TYPES subscribers,
>
> The topics of the workshop is broadly defined, and may be of interest to researchers on VM verification, typed PL optimization (e.g., gradual typing optimization), typed intermediate languages, approximate programming, reasoning about memory and other resources, among others. Hope to see you in Athens.
>
> David & Daniele
>
>
> VMIL 2019 - The 11th ACM SIGPLAN International Workshop on Virtual Machines and Language Implementations
>
> Co-located with SPLASH/OOPSLA 2019, Athens, Greece, Oct 22, 2019
>
>
> https://2019.splashcon.org/home/vmil-2019
>
> The VMIL workshop is a forum for researchers and cutting-edge practitioners in language virtual machines, the intermediate languages they use, and related issues.
>
> The workshop is intended to be welcoming to a wide range of topics and perspectives, covering all areas relevant to the workshop’s theme. Aspects of interest include, but are not limited to:
>
>  [*] design issues in VMs and IRs (e.g. IR design, VM modularity, polyglotism)
>  [*] compilation (static and dynamic compilation strategies, optimizations, data representations)
>  [*] VM embeddings in other systems (e.g., DBMSs, Big Data frameworks, Microservices, etc.)
>  [*] VMs for machine learning, machine learning for VMs
>  [*] memory management
>  [*] concurrency (both internal and user-facing)
>  [*] tool support and related infrastructure (profiling, debugging, liveness, persistence)
>  [*] the experience of VM development (use of high-level languages, bootstrapping and self-hosting, reusability, portability, developer tooling, etc)
>  [*] empirical studies on related topics, such as usage patterns, the usability of languages or tools, experimental methodology, or benchmark design
>
>
> === Submission Information ===
>
> We invite high-quality papers in the following two categories:
>
> Research and experience papers: These submissions should describe work that advances the current state of the art in the above or related areas. The suggested length of these submissions is 6–10 pages (maximum 10pp).
>
> Work-in-progress or position papers: These papers should document ongoing efforts in an area of interest which have not yet yielded final results, and/or should present and defend the authors’ position on a topic related to the broad area of the workshop. The maximum length of these submissions is 6 pages, but we will consider shorter submissions (e.g. a well-written 2-page abstract).
>
>
> === Important Dates ===
>
> First submission deadline: Aug 2, 2019
>
> Second submission deadline: Aug 30, 2019
>
>
>
> For the first submission deadline, all paper types are considered for publication in the ACM Digital Library, except if the authors prefer not to be included. Publication of work-in-progress and position papers at VMIL is not intended to preclude later publication elsewhere.
>
> Submissions will be judged on novelty, clarity, timeliness, relevance, and potential to stimulate discussion during the workshop.
>
> For the second deadline, we will consider only work-in-progress and position papers. Abstracts do not have to be submitted before the deadline. These will not be published in the ACM DL, and will only appear on the web site.
>
> The address of the submission site is: https://vmil19.hotcrp.com/
>
>
>
> --
> Yu David Liu
> Department of Computer Science
> SUNY Binghamton
>
-- 
Yu David Liu
Department of Computer Science
SUNY Binghamton
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190803/766074d8/attachment.html>