MPLR 2019 – Proceedings

Frontmatter

Virtual Machines

Supporting On-Stack Replacement in Unstructured Languages by Loop Reconstruction and Extraction
Raphael Mosaner, David Leopoldseder, Manuel Rigger, Roland Schatz, and Hanspeter Mössenböck
(JKU Linz, Austria; ETH Zurich, Switzerland; Oracle Labs, Austria)


@InProceedings{MPLR19p1, author = {Raphael Mosaner and David Leopoldseder and Manuel Rigger and Roland Schatz and Hanspeter Mössenböck}, title = {Supporting On-Stack Replacement in Unstructured Languages by Loop Reconstruction and Extraction}, booktitle = {Proc.\ MPLR}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3357390.3361030}, year = {2019}, } Publisher's Version

GraalSqueak: Toward a Smalltalk-Based Tooling Platform for Polyglot Programming
Fabio Niephaus, Tim Felgentreff, and Robert Hirschfeld
(HPI, Germany; Oracle Labs, Germany)


@InProceedings{MPLR19p19, author = {Fabio Niephaus and Tim Felgentreff and Robert Hirschfeld}, title = {GraalSqueak: Toward a Smalltalk-Based Tooling Platform for Polyglot Programming}, booktitle = {Proc.\ MPLR}, publisher = {ACM}, pages = {19-18}, doi = {10.1145/3357390.3361024}, year = {2019}, } Publisher's Version

WARDuino: A Dynamic WebAssembly Virtual Machine for Programming Microcontrollers
Robbert Gurdeep Singh and Christophe Scholliers
(Ghent University, Belgium)


@InProceedings{MPLR19p37, author = {Robbert Gurdeep Singh and Christophe Scholliers}, title = {WARDuino: A Dynamic WebAssembly Virtual Machine for Programming Microcontrollers}, booktitle = {Proc.\ MPLR}, publisher = {ACM}, pages = {37-36}, doi = {10.1145/3357390.3361029}, year = {2019}, } Publisher's Version

Concurrency and Parallelism

Dynamic One-to-One Mapping of Ownership Records for STM using Versioned Weak References
Martin Bättig and Thomas R. Gross
(ETH Zurich, Switzerland)


@InProceedings{MPLR19p55, author = {Martin Bättig and Thomas R. Gross}, title = {Dynamic One-to-One Mapping of Ownership Records for STM using Versioned Weak References}, booktitle = {Proc.\ MPLR}, publisher = {ACM}, pages = {55-54}, doi = {10.1145/3357390.3361020}, year = {2019}, } Publisher's Version

A Type System for Data Independence of Loop Iterations in a Directive-Based PGAS Language
Tatsuya Abe
(Chiba Institute of Technology, Japan)


@InProceedings{MPLR19p73, author = {Tatsuya Abe}, title = {A Type System for Data Independence of Loop Iterations in a Directive-Based PGAS Language}, booktitle = {Proc.\ MPLR}, publisher = {ACM}, pages = {73-72}, doi = {10.1145/3357390.3361021}, year = {2019}, } Publisher's Version

Hosting OpenMP Programs on Java Virtual Machines
Swapnil Gaikwad, Andy Nisbet, and Mikel Luján
(University of Manchester, UK)


@InProceedings{MPLR19p91, author = {Swapnil Gaikwad and Andy Nisbet and Mikel Luján}, title = {Hosting OpenMP Programs on Java Virtual Machines}, booktitle = {Proc.\ MPLR}, publisher = {ACM}, pages = {91-90}, doi = {10.1145/3357390.3361031}, year = {2019}, } Publisher's Version

Program Analysis

Predicting All Data Race Pairs for a Specific Schedule
Martin Sulzmann and Kai Stadtmüller
(Karlsruhe University of Applied Sciences, Germany)


@InProceedings{MPLR19p104, author = {Martin Sulzmann and Kai Stadtmüller}, title = {Predicting All Data Race Pairs for a Specific Schedule}, booktitle = {Proc.\ MPLR}, publisher = {ACM}, pages = {104-103}, doi = {10.1145/3357390.3361022}, year = {2019}, } Publisher's Version

Towards Efficient, Multi-Language Dynamic Taint Analysis
Jacob Kreindl, Daniele Bonetta, and Hanspeter Mössenböck
(JKU Linz, Austria; Oracle Labs, USA)


@InProceedings{MPLR19p122, author = {Jacob Kreindl and Daniele Bonetta and Hanspeter Mössenböck}, title = {Towards Efficient, Multi-Language Dynamic Taint Analysis}, booktitle = {Proc.\ MPLR}, publisher = {ACM}, pages = {122-121}, doi = {10.1145/3357390.3361028}, year = {2019}, } Publisher's Version

Detection of Suspicious Time Windows in Memory Monitoring
Markus Weninger, Elias Gander, and Hanspeter Mössenböck
(JKU Linz, Austria)


@InProceedings{MPLR19p135, author = {Markus Weninger and Elias Gander and Hanspeter Mössenböck}, title = {Detection of Suspicious Time Windows in Memory Monitoring}, booktitle = {Proc.\ MPLR}, publisher = {ACM}, pages = {135-134}, doi = {10.1145/3357390.3361025}, year = {2019}, } Publisher's Version

Compilation and Code Manipulation

Static TypeScript: An Implementation of a Static Compiler for the TypeScript Language
Thomas Ball, Peli de Halleux, and Michał Moskal
(Microsoft Research, USA)


@InProceedings{MPLR19p148, author = {Thomas Ball and Peli de Halleux and Michał Moskal}, title = {Static TypeScript: An Implementation of a Static Compiler for the TypeScript Language}, booktitle = {Proc.\ MPLR}, publisher = {ACM}, pages = {148-147}, doi = {10.1145/3357390.3361032}, year = {2019}, } Publisher's Version

PorcE: A Deparallelizing Compiler
Arthur Michener Peters, John A. Thywissen, and Christopher J. Rossbach
(University of Texas at Austin, USA; VMware, USA)


@InProceedings{MPLR19p166, author = {Arthur Michener Peters and John A. Thywissen and Christopher J. Rossbach}, title = {PorcE: A Deparallelizing Compiler}, booktitle = {Proc.\ MPLR}, publisher = {ACM}, pages = {166-165}, doi = {10.1145/3357390.3361023}, year = {2019}, } Publisher's Version

An Analysis of Call-Site Patching without Strong Hardware Support for Self-Modifying-Code
Tim Hartley, Foivos S. Zakkak, Christos Kotselidis, and Mikel Luján
(University of Manchester, UK)


@InProceedings{MPLR19p184, author = {Tim Hartley and Foivos S. Zakkak and Christos Kotselidis and Mikel Luján}, title = {An Analysis of Call-Site Patching without Strong Hardware Support for Self-Modifying-Code}, booktitle = {Proc.\ MPLR}, publisher = {ACM}, pages = {184-183}, doi = {10.1145/3357390.3361027}, year = {2019}, } Publisher's Version

Applications

Performance of an OO Compute Kernel on the JVM: Revisiting Java as a Language for Scientific Computing Applications
Malin Källén and Tobias Wrigstad
(Uppsala University, Sweden)


@InProceedings{MPLR19p202, author = {Malin Källén and Tobias Wrigstad}, title = {Performance of an OO Compute Kernel on the JVM: Revisiting Java as a Language for Scientific Computing Applications}, booktitle = {Proc.\ MPLR}, publisher = {ACM}, pages = {202-201}, doi = {10.1145/3357390.3361026}, year = {2019}, } Publisher's Version

Asynchronous Snapshots of Actor Systems for Latency-Sensitive Applications
Dominik Aumayr, Stefan Marr, Elisa Gonzalez Boix, and Hanspeter Mössenböck
(JKU Linz, Austria; University of Kent, UK; Vrije Universiteit Brussel, Belgium)


@InProceedings{MPLR19p220, author = {Dominik Aumayr and Stefan Marr and Elisa Gonzalez Boix and Hanspeter Mössenböck}, title = {Asynchronous Snapshots of Actor Systems for Latency-Sensitive Applications}, booktitle = {Proc.\ MPLR}, publisher = {ACM}, pages = {220-219}, doi = {10.1145/3357390.3361019}, year = {2019}, } Publisher's Version

proc time: 0.66