VMIL 2019 – Proceedings

11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages (VMIL 2019)

Frontmatter

Papers

Designing a Low-Level Virtual Machine for Implementing Real-Time Managed Languages
Javad Ebrahimian Amiri, Stephen M. Blackburn, Antony L. Hosking, and Michael Norrish
(Australian National University, Australia; Data61 at CSIRO, Australia)


@InProceedings{VMIL19p1, author = {Javad Ebrahimian Amiri and Stephen M. Blackburn and Antony L. Hosking and Michael Norrish}, title = {Designing a Low-Level Virtual Machine for Implementing Real-Time Managed Languages}, booktitle = {Proc.\ VMIL}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3358504.3361226}, year = {2019}, } Publisher's Version

Implementing a Language with Explicit Assignment Semantics
Dimitri Racordon and Didier Buchs
(University of Geneva, Switzerland)


@InProceedings{VMIL19p13, author = {Dimitri Racordon and Didier Buchs}, title = {Implementing a Language with Explicit Assignment Semantics}, booktitle = {Proc.\ VMIL}, publisher = {ACM}, pages = {13-12}, doi = {10.1145/3358504.3361227}, year = {2019}, } Publisher's Version

Scalable Comparison of JavaScript V8 Bytecode Traces
Javier Cabrera Arteaga, Martin Monperrus, and Benoit Baudry
(KTH, Sweden)


@InProceedings{VMIL19p25, author = {Javier Cabrera Arteaga and Martin Monperrus and Benoit Baudry}, title = {Scalable Comparison of JavaScript V8 Bytecode Traces}, booktitle = {Proc.\ VMIL}, publisher = {ACM}, pages = {25-24}, doi = {10.1145/3358504.3361228}, year = {2019}, } Publisher's Version

Efficient Fail-Fast Dynamic Subtype Checking
Rohan Padhye and Koushik Sen
(University of California at Berkeley, USA)


@InProceedings{VMIL19p37, author = {Rohan Padhye and Koushik Sen}, title = {Efficient Fail-Fast Dynamic Subtype Checking}, booktitle = {Proc.\ VMIL}, publisher = {ACM}, pages = {37-36}, doi = {10.1145/3358504.3361229}, year = {2019}, } Publisher's Version

Towards Seamless Interfacing between Dynamic Languages and Native Code
Guillaume Bertholon and Stephen Kell
(ENS, France; University of Kent, UK)


@InProceedings{VMIL19p49, author = {Guillaume Bertholon and Stephen Kell}, title = {Towards Seamless Interfacing between Dynamic Languages and Native Code}, booktitle = {Proc.\ VMIL}, publisher = {ACM}, pages = {49-48}, doi = {10.1145/3358504.3361230}, year = {2019}, } Publisher's Version

Memory Efficient CRDTs in Dynamic Environments
Jim Bauwens and Elisa Gonzalez Boix
(Vrije Universiteit Brussel, Belgium)


@InProceedings{VMIL19p61, author = {Jim Bauwens and Elisa Gonzalez Boix}, title = {Memory Efficient CRDTs in Dynamic Environments}, booktitle = {Proc.\ VMIL}, publisher = {ACM}, pages = {61-60}, doi = {10.1145/3358504.3361231}, year = {2019}, } Publisher's Version

Which of My Transient Type Checks Are Not (Almost) Free?
Isaac Oscar Gariano, Richard Roberts, Stefan Marr, Michael Homer, and James Noble
(Victoria University of Wellington, New Zealand; University of Kent, UK)


@InProceedings{VMIL19p73, author = {Isaac Oscar Gariano and Richard Roberts and Stefan Marr and Michael Homer and James Noble}, title = {Which of My Transient Type Checks Are Not (Almost) Free?}, booktitle = {Proc.\ VMIL}, publisher = {ACM}, pages = {73-72}, doi = {10.1145/3358504.3361232}, year = {2019}, } Publisher's Version

proc time: 0.7