DLS 2017 – Proceedings

Frontmatter

Invited Talks

The JavaScriptCore Virtual Machine (Invited Talk)
Filip Pizlo
(Apple, USA)


@InProceedings{DLS17p1, author = {Filip Pizlo}, title = {The JavaScriptCore Virtual Machine (Invited Talk)}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3133841.3148567}, year = {2017}, } Publisher's Version

Challenges and Progress toward Efficient Gradual Typing (Invited Talk)
Jeremy Siek
(Indiana University, USA)


@InProceedings{DLS17p100, author = {Jeremy Siek}, title = {Challenges and Progress toward Efficient Gradual Typing (Invited Talk)}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {100-99}, doi = {10.1145/3133841.3148570}, year = {2017}, } Publisher's Version

Implementation of Systems and Tools

A Concurrency-Agnostic Protocol for Multi-Paradigm Concurrent Debugging Tools
Stefan Marr, Carmen Torres Lopez, Dominik Aumayr, Elisa Gonzalez Boix, and Hanspeter Mössenböck
(JKU Linz, Austria; Vrije Universiteit Brussel, Belgium)


@InProceedings{DLS17p199, author = {Stefan Marr and Carmen Torres Lopez and Dominik Aumayr and Elisa Gonzalez Boix and Hanspeter Mössenböck}, title = {A Concurrency-Agnostic Protocol for Multi-Paradigm Concurrent Debugging Tools}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {199-198}, doi = {}, year = {2017}, }

Dynamic Atomicity: Optimizing Swift Memory Management
David Ungar, David Grove, and Hubertus Franke
(IBM Research, USA)


@InProceedings{DLS17p211, author = {David Ungar and David Grove and Hubertus Franke}, title = {Dynamic Atomicity: Optimizing Swift Memory Management}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {211-210}, doi = {}, year = {2017}, }

Experience Reports

Object Equivalence: Revisiting Object Equality Profiling (An Experience Report)
Alejandro Infante and Alexandre Bergel
(University of Chile, Chile)


@InProceedings{DLS17p223, author = {Alejandro Infante and Alexandre Bergel}, title = {Object Equivalence: Revisiting Object Equality Profiling (An Experience Report)}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {223-222}, doi = {}, year = {2017}, }

Garbage Collection and Efficiency in Dynamic Metacircular Runtimes: An Experience Report
Javier Pimás, Javier Burroni, Jean Baptiste Arnaud, and Stefan Marr
(Palantir Solutions, Argentina; JKU Linz, Austria)


@InProceedings{DLS17p235, author = {Javier Pimás and Javier Burroni and Jean Baptiste Arnaud and Stefan Marr}, title = {Garbage Collection and Efficiency in Dynamic Metacircular Runtimes: An Experience Report}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {235-234}, doi = {}, year = {2017}, }

Semantics

Semantics of Asynchronous JavaScript
Matthew C. Loring, Mark Marron, and Daan Leijen
(Google, USA; Microsoft Research, USA)


@InProceedings{DLS17p247, author = {Matthew C. Loring and Mark Marron and Daan Leijen}, title = {Semantics of Asynchronous JavaScript}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {247-246}, doi = {}, year = {2017}, }

The Semantics of Name Resolution in Grace
Vlad Vergu, Michiel Haisma, and Eelco Visser
(Delft University of Technology, Netherlands)


@InProceedings{DLS17p259, author = {Vlad Vergu and Michiel Haisma and Eelco Visser}, title = {The Semantics of Name Resolution in Grace}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {259-258}, doi = {}, year = {2017}, }

Decoding Lua: Formal Semantics for the Developer and the Semanticist
Mallku Soldevila, Beta Ziliani, Bruno Silvestre, Daniel Fridlender, and Fabio Mascarenhas
(Universidad Nacional de Córdoba, Argentina; CONICET, Argentina; Federal University of Goiás, Brazil; Federal University of Rio de Janeiro, Brazil)


@InProceedings{DLS17p271, author = {Mallku Soldevila and Beta Ziliani and Bruno Silvestre and Daniel Fridlender and Fabio Mascarenhas}, title = {Decoding Lua: Formal Semantics for the Developer and the Semanticist}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {271-270}, doi = {}, year = {2017}, }

proc time: 0.02