VMIL 2020 – Proceedings

12th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages (VMIL 2020)

Frontmatter

Invited Talks

Racket’s Intermediate Language for Control (Invited Talk)
Matthew Flatt
(University of Utah, USA)

@InProceedings{VMIL20p1, author = {Matthew Flatt}, title = {Racket’s Intermediate Language for Control (Invited Talk)}, booktitle = {Proc.\ VMIL}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3427765.3432352}, year = {2020}, } Publisher's Version Article: splashws20vmilmain-ivt1-p (type: Abstract) doi:10.1145/3427765.3432352

In Pursuit of Easy(er) JITs (Invited Talk)
Mark Stoodley
(IBM, Canada)

@InProceedings{VMIL20p11, author = {Mark Stoodley}, title = {In Pursuit of Easy(er) JITs (Invited Talk)}, booktitle = {Proc.\ VMIL}, publisher = {ACM}, pages = {11-10}, doi = {10.1145/3427765.3432353}, year = {2020}, } Publisher's Version Article: splashws20vmilmain-ivt2-p (type: Abstract) doi:10.1145/3427765.3432353

Understanding Graal IR (Invited Talk)
Chris Seaton
(Shopify, USA)

@InProceedings{VMIL20p21, author = {Chris Seaton}, title = {Understanding Graal IR (Invited Talk)}, booktitle = {Proc.\ VMIL}, publisher = {ACM}, pages = {21-20}, doi = {10.1145/3427765.3432354}, year = {2020}, } Publisher's Version Article: splashws20vmilmain-ivt3-p (type: Abstract) doi:10.1145/3427765.3432354

10 Years of Dart (Invited Talk)
Vyacheslav Egorov
(Google, Denmark)

@InProceedings{VMIL20p31, author = {Vyacheslav Egorov}, title = {10 Years of Dart (Invited Talk)}, booktitle = {Proc.\ VMIL}, publisher = {ACM}, pages = {31-30}, doi = {10.1145/3427765.3432355}, year = {2020}, } Publisher's Version Article: splashws20vmilmain-ivt4-p (type: Abstract) doi:10.1145/3427765.3432355

Paper

Programming Microcontrollers through High-Level Abstractions
Steven Varoumas, Basile Pesin, Benoît Vaugon, and Emmanuel Chailloux
(Sorbonne University, France; CNRS, France; LIP6, France; Inria, France; Armadillo, France)

@InProceedings{VMIL20p41, author = {Steven Varoumas and Basile Pesin and Benoît Vaugon and Emmanuel Chailloux}, title = {Programming Microcontrollers through High-Level Abstractions}, booktitle = {Proc.\ VMIL}, publisher = {ACM}, pages = {41-40}, doi = {10.1145/3427765.3428495}, year = {2020}, } Publisher's Version Article: splashws20vmilmain-p1-p (type: Full Paper) doi:10.1145/3427765.3428495

proc time: 0.03