DLS 2017 – Author Index

A B F G H I L M P S T U V Z

	Arnaud, Jean Baptiste	DLS '17: "Garbage Collection and Efficiency ..." 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}, } Article: dls17main-main7-p (type: Full Paper) doi:
	Aumayr, Dominik	DLS '17: "A Concurrency-Agnostic Protocol ..." 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}, } Article: dls17main-main1-p (type: Full Paper) doi:
	Bergel, Alexandre	DLS '17: "Object Equivalence: Revisiting ..." 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}, } Article: dls17main-main6-p (type: Full Paper) doi:
	Burroni, Javier	DLS '17: "Garbage Collection and Efficiency ..." 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}, } Article: dls17main-main7-p (type: Full Paper) doi:
	Franke, Hubertus	DLS '17: "Dynamic Atomicity: Optimizing ..." 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}, } Article: dls17main-main2-p (type: Full Paper) doi:
	Fridlender, Daniel	DLS '17: "Decoding Lua: Formal Semantics ..." 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}, } Article: dls17main-main10-p (type: Full Paper) doi:
	Gonzalez Boix, Elisa	DLS '17: "A Concurrency-Agnostic Protocol ..." 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}, } Article: dls17main-main1-p (type: Full Paper) doi:
	Grove, David	DLS '17: "Dynamic Atomicity: Optimizing ..." 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}, } Article: dls17main-main2-p (type: Full Paper) doi:
	Haisma, Michiel	DLS '17: "The Semantics of Name Resolution ..." 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}, } Article: dls17main-main9-p (type: Full Paper) doi:
	Infante, Alejandro	DLS '17: "Object Equivalence: Revisiting ..." 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}, } Article: dls17main-main6-p (type: Full Paper) doi:
	Leijen, Daan	DLS '17: "Semantics of Asynchronous ..." 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}, } Article: dls17main-main8-p (type: Full Paper) doi:
	Loring, Matthew C.	DLS '17: "Semantics of Asynchronous ..." 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}, } Article: dls17main-main8-p (type: Full Paper) doi:
	Marr, Stefan	DLS '17: "A Concurrency-Agnostic Protocol ..." 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}, } Article: dls17main-main1-p (type: Full Paper) doi: DLS '17: "Garbage Collection and Efficiency ..." 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}, } Article: dls17main-main7-p (type: Full Paper) doi:
	Marron, Mark	DLS '17: "Semantics of Asynchronous ..." 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}, } Article: dls17main-main8-p (type: Full Paper) doi:
	Mascarenhas, Fabio	DLS '17: "Decoding Lua: Formal Semantics ..." 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}, } Article: dls17main-main10-p (type: Full Paper) doi:
	Mössenböck, Hanspeter	DLS '17: "A Concurrency-Agnostic Protocol ..." 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}, } Article: dls17main-main1-p (type: Full Paper) doi:
	Pimás, Javier	DLS '17: "Garbage Collection and Efficiency ..." 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}, } Article: dls17main-main7-p (type: Full Paper) doi:
	Pizlo, Filip	DLS '17: "The JavaScriptCore Virtual ..." 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 Article: dls17key-key1-p (type: Invited Talk Abstract (1 page)) doi:10.1145/3133841.3148567
	Siek, Jeremy	DLS '17: "Challenges and Progress toward ..." 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 Article: dls17key-key2-p (type: Invited Talk Abstract (1 page)) doi:10.1145/3133841.3148570
	Silvestre, Bruno	DLS '17: "Decoding Lua: Formal Semantics ..." 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}, } Article: dls17main-main10-p (type: Full Paper) doi:
	Soldevila, Mallku	DLS '17: "Decoding Lua: Formal Semantics ..." 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}, } Article: dls17main-main10-p (type: Full Paper) doi:
	Torres Lopez, Carmen	DLS '17: "A Concurrency-Agnostic Protocol ..." 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}, } Article: dls17main-main1-p (type: Full Paper) doi:
	Ungar, David	DLS '17: "Dynamic Atomicity: Optimizing ..." 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}, } Article: dls17main-main2-p (type: Full Paper) doi:
	Vergu, Vlad	DLS '17: "The Semantics of Name Resolution ..." 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}, } Article: dls17main-main9-p (type: Full Paper) doi:
	Visser, Eelco	DLS '17: "The Semantics of Name Resolution ..." 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}, } Article: dls17main-main9-p (type: Full Paper) doi:
	Ziliani, Beta	DLS '17: "Decoding Lua: Formal Semantics ..." 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}, } Article: dls17main-main10-p (type: Full Paper) doi:

27 authors

proc time: 0.03