DLS 2018
14th ACM SIGPLAN International Symposium on Dynamic Languages (DLS 2018)

Title Page

Message from the Chairs

DLS 2018 Organization

The Behavior of Gradual Types: A User Study
Preston Tunnell Wilson, Ben Greenman, Justin Pombrio, and Shriram Krishnamurthi
(Brown University, USA; Northeastern University, USA)


@InProceedings{DLS18p1, author = {Preston Tunnell Wilson and Ben Greenman and Justin Pombrio and Shriram Krishnamurthi}, title = {The Behavior of Gradual Types: A User Study}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3276945.3276947}, year = {2018}, } Publisher's Version

A Trustworthy Mechanized Formalization of R
Martin Bodin, Tomás Diaz, and Éric Tanter
(University of Chile, Chile)


@InProceedings{DLS18p15, author = {Martin Bodin and Tomás Diaz and Éric Tanter}, title = {A Trustworthy Mechanized Formalization of R}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {15-14}, doi = {10.1145/3276945.3276946}, year = {2018}, } Publisher's Version

Log++ Logging for a Cloud-Native World
Mark Marron
(Microsoft Research, USA)


@InProceedings{DLS18p29, author = {Mark Marron}, title = {Log++ Logging for a Cloud-Native World}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {29-28}, doi = {10.1145/3276945.3276952}, year = {2018}, } Publisher's Version

HorseIR: Bringing Array Programming Languages Together with Database Query Processing
Hanfeng Chen, Joseph Vinish D'silva, Hongji Chen, Bettina Kemme, and Laurie Hendren
(McGill University, Canada)


@InProceedings{DLS18p43, author = {Hanfeng Chen and Joseph Vinish D'silva and Hongji Chen and Bettina Kemme and Laurie Hendren}, title = {HorseIR: Bringing Array Programming Languages Together with Database Query Processing}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {43-42}, doi = {10.1145/3276945.3276951}, year = {2018}, } Publisher's Version

JavaScript AOT Compilation
Manuel Serrano
(Inria, France; University of Côte d'Azur, France)


@InProceedings{DLS18p57, author = {Manuel Serrano}, title = {JavaScript AOT Compilation}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {57-56}, doi = {10.1145/3276945.3276950}, year = {2018}, } Publisher's Version

Query-Based Object-Oriented Programming: A Declarative Web of Objects
Yoav Seginer, Theo Vosse, Gil Harari, and Uri Kolodny
(cdl-lang.org, Netherlands; cdl-lang.org, Israel)


@InProceedings{DLS18p71, author = {Yoav Seginer and Theo Vosse and Gil Harari and Uri Kolodny}, title = {Query-Based Object-Oriented Programming: A Declarative Web of Objects}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {71-70}, doi = {10.1145/3276945.3276949}, year = {2018}, } Publisher's Version

Self-Contained Development Environments
Guido Chari, Javier Pimás, Jan Vitek, and Olivier Flückiger
(Czech Technical University, Czechia; Palantir Solutions, Argentina; Northeastern University, USA)


@InProceedings{DLS18p85, author = {Guido Chari and Javier Pimás and Jan Vitek and Olivier Flückiger}, title = {Self-Contained Development Environments}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {85-84}, doi = {10.1145/3276945.3276948}, year = {2018}, } Publisher's Version

Numerical Computing on the Web: Benchmarking for the Future
David Herrera, Hanfeng Chen, Erick Lavoie, and Laurie Hendren
(McGill University, Canada)


@InProceedings{DLS18p99, author = {David Herrera and Hanfeng Chen and Erick Lavoie and Laurie Hendren}, title = {Numerical Computing on the Web: Benchmarking for the Future}, booktitle = {Proc.\ DLS}, publisher = {ACM}, pages = {99-98}, doi = {10.1145/3276945.3276968}, year = {2018}, } Publisher's Version