DLS 2017

9 papers

1. A concurrency-agnostic protocol for multi-paradigm concurrent debugging tools · Stefan Marr, Carmen Torres Lopez, Dominik Aumayr, Elisa Gonzalez Boix, Hanspeter Mössenböck
2. Challenges and progress toward efficient gradual typing (invited talk) · Jeremy G. Siek
3. Decoding Lua: formal semantics for the developer and the semanticist · Mallku Soldevila, Beta Ziliani, Bruno Silvestre, Daniel Fridlender, Fabio Mascarenhas
4. Dynamic atomicity: optimizing swift memory management · David M. Ungar, David Grove, Hubertus Franke
5. Garbage collection and efficiency in dynamic metacircular runtimes: an experience report · Javier Pimás, Javier Burroni, Jean-Baptiste Arnaud, Stefan Marr
6. Object equivalence: revisiting object equality profiling (an experience report) · Alejandro Infante, Alexandre Bergel
7. Semantics of asynchronous JavaScript · Matthew C. Loring, Mark Marron, Daan Leijen
8. The JavaScriptCore virtual machine (invited talk) · Filip Pizlo
9. The semantics of name resolution in grace · Vlad A. Vergu, Michiel Haisma, Eelco Visser