DLS 2018

8 papers

1. A trustworthy mechanized formalization of R · Martin Bodin, Tomás Diaz, Éric Tanter
2. HorseIR: bringing array programming languages together with database query processing · Hanfeng Chen, Joseph Vinish D'silva, Hongji Chen, Bettina Kemme, Laurie J. Hendren
3. JavaScript AOT compilation · Manuel Serrano
4. Log++ logging for a cloud-native world · Mark Marron
5. Numerical computing on the web: benchmarking for the future · David Herrera, Hanfeng Chen, Erick Lavoie, Laurie J. Hendren
6. Query-based object-oriented programming: a declarative web of objects · Yoav Seginer, Theo Vosse, Gil Harari, Uri Kolodny
7. Self-contained development environments · Guido Chari, Javier Pimás, Jan Vitek, Olivier Flückiger
8. The behavior of gradual types: a user study · Preston Tunnell Wilson, Ben Greenman, Justin Pombrio, Shriram Krishnamurthi