Title Page

Message from the Chairs

Committees

Type Safety Analysis for Dart
Thomas S. Heinze, Anders Møller, and Fabio Strocco
(Aarhus University, Denmark)


@InProceedings{DLS16p1, author = {Thomas S. Heinze and Anders Møller and Fabio Strocco}, title = {Type Safety Analysis for Dart}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2016}, }

Type Unsoundness in Practice: An Empirical Study of Dart
Gianluca Mezzetti, Anders Møller, and Fabio Strocco
(Aarhus University, Denmark)


@InProceedings{DLS16p13, author = {Gianluca Mezzetti and Anders Møller and Fabio Strocco}, title = {Type Unsoundness in Practice: An Empirical Study of Dart}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2016}, }

Precise and Scalable Static Analysis of jQuery using a Regular Expression Domain
Changhee Park, Hyeonseung Im, and Sukyoung Ryu
(KAIST, South Korea; Kangwon National University, South Korea)


@InProceedings{DLS16p25, author = {Changhee Park and Hyeonseung Im and Sukyoung Ryu}, title = {Precise and Scalable Static Analysis of jQuery using a Regular Expression Domain}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {25-24}, doi = {}, year = {2016}, }

Just-in-Time Inheritance: A Dynamic and Implicit Multiple Inheritance Mechanism
Mattias De Wael, Janwillem Swalens, and Wolfgang De Meuter
(Vrije Universiteit Brussel, Belgium)


@InProceedings{DLS16p37, author = {Mattias De Wael and Janwillem Swalens and Wolfgang De Meuter}, title = {Just-in-Time Inheritance: A Dynamic and Implicit Multiple Inheritance Mechanism}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {37-36}, doi = {}, year = {2016}, }

Parallel Virtual Machines with RPython
Remigius Meier, Armin Rigo, and Thomas R. Gross
(ETH Zurich, Switzerland; PyPy.org, Switzerland)


@InProceedings{DLS16p49, author = {Remigius Meier and Armin Rigo and Thomas R. Gross}, title = {Parallel Virtual Machines with RPython}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {49-48}, doi = {}, year = {2016}, }

Building Efficient and Highly Run-Time Adaptable Virtual Machines
Guido Chari, Diego Garbervetsky, and Stefan Marr
(University of Buenos Aires, Argentina; CONICET, Argentina; JKU Linz, Austria)


@InProceedings{DLS16p61, author = {Guido Chari and Diego Garbervetsky and Stefan Marr}, title = {Building Efficient and Highly Run-Time Adaptable Virtual Machines}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {61-60}, doi = {}, year = {2016}, }

Efficiently Implementing the Copy Semantics of MATLAB's Arrays in JavaScript
Vincent Foley-Bourgon and Laurie Hendren
(McGill University, Canada)


@InProceedings{DLS16p73, author = {Vincent Foley-Bourgon and Laurie Hendren}, title = {Efficiently Implementing the Copy Semantics of MATLAB's Arrays in JavaScript}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {73-72}, doi = {}, year = {2016}, }

Optimizing R Language Execution via Aggressive Speculation
Lukas Stadler, Adam Welc, Christian Humer, and Mick Jordan
(Oracle Labs, Austria; Oracle Labs, USA; Oracle Labs, Switzerland)


@InProceedings{DLS16p85, author = {Lukas Stadler and Adam Welc and Christian Humer and Mick Jordan}, title = {Optimizing R Language Execution via Aggressive Speculation}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {85-84}, doi = {}, year = {2016}, }

A Small Embedding of Logic Programming with a Simple Complete Search
Jason Hemann, Daniel P. Friedman, William E. Byrd, and Matthew Might
(Indiana University, USA; University of Utah, USA)


@InProceedings{DLS16p97, author = {Jason Hemann and Daniel P. Friedman and William E. Byrd and Matthew Might}, title = {A Small Embedding of Logic Programming with a Simple Complete Search}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {97-96}, doi = {}, year = {2016}, }

Modular Semantic Actions
Alessandro Warth, Patrick Dubroy, and Tony Garnock-Jones
(Y Combinator Research, USA; Northeastern University, USA)


@InProceedings{DLS16p109, author = {Alessandro Warth and Patrick Dubroy and Tony Garnock-Jones}, title = {Modular Semantic Actions}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {109-108}, doi = {}, year = {2016}, }

Cross-Language Compiler Benchmarking: Are We Fast Yet?
Stefan Marr, Benoit Daloze, and Hanspeter Mössenböck
(JKU Linz, Austria)


@InProceedings{DLS16p121, author = {Stefan Marr and Benoit Daloze and Hanspeter Mössenböck}, title = {Cross-Language Compiler Benchmarking: Are We Fast Yet?}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {121-120}, doi = {}, year = {2016}, }