Frontmatter

Language Design

From APIs to Languages: Generalising Method Names
Michael Homer, Timothy Jones, and James Noble
(Victoria University of Wellington, New Zealand)


@InProceedings{DLS15p1, author = {Michael Homer and Timothy Jones and James Noble}, title = {From APIs to Languages: Generalising Method Names}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2015}, }

Formalization, Semantics, and Static Analysis

A Formalization of Typed Lua
André Murbach Maidl, Fabio Mascarenhas, and Roberto Ierusalimschy
(PUC-Rio, Brazil; Federal University of Rio de Janeiro, Brazil)


@InProceedings{DLS15p16, author = {André Murbach Maidl and Fabio Mascarenhas and Roberto Ierusalimschy}, title = {A Formalization of Typed Lua}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {16-15}, doi = {}, year = {2015}, }

Gradual Certified Programming in Coq
Éric Tanter and Nicolas Tabareau
(University of Chile, Chile; INRIA, France)


@InProceedings{DLS15p31, author = {Éric Tanter and Nicolas Tabareau}, title = {Gradual Certified Programming in Coq}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {31-30}, doi = {}, year = {2015}, }

Message Safety in Dart
Erik Ernst, Anders Møller, Mathias Schwarz, and Fabio Strocco
(Google, Denmark; Aarhus University, Denmark)


@InProceedings{DLS15p46, author = {Erik Ernst and Anders Møller and Mathias Schwarz and Fabio Strocco}, title = {Message Safety in Dart}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {46-45}, doi = {}, year = {2015}, }

Control-Flow Analysis of Dynamic Languages via Pointer Analysis
Steven Lyde, William E. Byrd, and Matthew Might
(University of Utah, USA)


@InProceedings{DLS15p61, author = {Steven Lyde and William E. Byrd and Matthew Might}, title = {Control-Flow Analysis of Dynamic Languages via Pointer Analysis}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {61-60}, doi = {}, year = {2015}, }

Compilation

Compiling for Multi-language Task Migration
Marc Feeley
(Université de Montréal, Canada)


@InProceedings{DLS15p76, author = {Marc Feeley}, title = {Compiling for Multi-language Task Migration}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {76-75}, doi = {}, year = {2015}, }

High-Performance Cross-Language Interoperability in a Multi-language Runtime
Matthias Grimmer, Chris Seaton, Roland Schatz, Thomas Würthinger, and Hanspeter Mössenböck
(JKU Linz, Austria; Oracle Labs, UK; Oracle Labs, Austria; Oracle Labs, Switzerland)


@InProceedings{DLS15p91, author = {Matthias Grimmer and Chris Seaton and Roland Schatz and Thomas Würthinger and Hanspeter Mössenböck}, title = {High-Performance Cross-Language Interoperability in a Multi-language Runtime}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {91-90}, doi = {}, year = {2015}, }

Java-to-JavaScript Translation via Structured Control Flow Reconstruction of Compiler IR
David Leopoldseder, Lukas Stadler, Christian Wimmer, and Hanspeter Mössenböck
(JKU Linz, Austria; Oracle Labs, Austria; Oracle Labs, USA)


@InProceedings{DLS15p106, author = {David Leopoldseder and Lukas Stadler and Christian Wimmer and Hanspeter Mössenböck}, title = {Java-to-JavaScript Translation via Structured Control Flow Reconstruction of Compiler IR}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {106-105}, doi = {}, year = {2015}, }

Language-independent Storage Strategies for Tracing-JIT-based Virtual Machines
Tobias Pape, Tim Felgentreff, Robert Hirschfeld, Anton Gulenko, and Carl Friedrich Bolz
(HPI, Germany; TU Berlin, Germany; King's College London, UK)


@InProceedings{DLS15p121, author = {Tobias Pape and Tim Felgentreff and Robert Hirschfeld and Anton Gulenko and Carl Friedrich Bolz}, title = {Language-independent Storage Strategies for Tracing-JIT-based Virtual Machines}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {121-120}, doi = {}, year = {2015}, }

Empirical Studies

Measuring Polymorphism in Python Programs
Beatrice Åkerblom and Tobias Wrigstad
(Stockholm University, Sweden; Uppsala University, Sweden)


@InProceedings{DLS15p136, author = {Beatrice Åkerblom and Tobias Wrigstad}, title = {Measuring Polymorphism in Python Programs}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {136-135}, doi = {}, year = {2015}, }

Tracking Down Performance Variation against Source Code Evolution
Juan Pablo Sandoval Alcocer and Alexandre Bergel
(University of Chile, Chile)


@InProceedings{DLS15p151, author = {Juan Pablo Sandoval Alcocer and Alexandre Bergel}, title = {Tracking Down Performance Variation against Source Code Evolution}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {151-150}, doi = {}, year = {2015}, }

Server-Side Type Profiling for Optimizing Client-Side JavaScript Engines
Madhukar N. Kedlaya, Behnam Robatmili, and Ben Hardekopf
(University of California at Santa Barbara, USA; Qualcomm Research, USA)


@InProceedings{DLS15p166, author = {Madhukar N. Kedlaya and Behnam Robatmili and Ben Hardekopf}, title = {Server-Side Type Profiling for Optimizing Client-Side JavaScript Engines}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {166-165}, doi = {}, year = {2015}, }

An Empirical Investigation of the Effects of Type Systems and Code Completion on API Usability using TypeScript and JavaScript in MS Visual Studio
Lars Fischer and Stefan Hanenberg
(University of Duisburg-Essen, Germany)


@InProceedings{DLS15p181, author = {Lars Fischer and Stefan Hanenberg}, title = {An Empirical Investigation of the Effects of Type Systems and Code Completion on API Usability using TypeScript and JavaScript in MS Visual Studio}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {181-180}, doi = {}, year = {2015}, }

Access Control to Reflection with Object Ownership
Camille Teruel, Stéphane Ducasse, Damien Cassou, and Marcus Denker
(INRIA, France; University of Lille, France)


@InProceedings{DLS15p196, author = {Camille Teruel and Stéphane Ducasse and Damien Cassou and Marcus Denker}, title = {Access Control to Reflection with Object Ownership}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {196-195}, doi = {}, year = {2015}, }

proc time: 0.7