Dynamic Languages Symposium 2018  OOPSLA/SPLASH 2018

Co-located with SPLASH 2018

In association with ACM SIGPLAN

Boston, MA, USA, 6 November, 2018




10:30-12:00 Semantics
10:30-11:00 The Behavior of Gradual Types: A User Study
Preston Tunnell Wilson, Ben Greenman, Justin Pombrio, Shriram Krishnamurthi
11:00-11:30 A Trustworthy Mechanized Formalization of R
Martin Bodin, Tomás Diaz, Éric Tanter
12:00-13:30 Lunch break
13:30-15:00 Optimization
13:30-14:00 Log++ Logging for a Cloud-Native World
Mark Marron
14:00-14:30 HorseIR: Bringing Array Programming Languages Together with Database Query Processing
Hanfeng Chen, Joseph Vinish D'Silva, Hongji Chen, Bettina Kemme, Laurie Hendren
14:30-15:00 JavaScript AOT Compilation
Manuel Serrano
15:00-15:30 Coffee break
15:30-17:00 Systems
15:30-16:00 Query-Based Object-Oriented Programming: A Declarative Web of Objects
Yoav Seginer, Theo Vosse, Gil Harari, Uri Kolodny
16:00-16:30 Self-Contained Development Environments
Guido Chari, Javier Pimás, Jan Vitek, Olivier Flückiger
16:30-17:00 Numerical Computing on the Web: Benchmarking for the Future
David Herrera, Hanfeng Chen, Erick Lavoie, Laurie Hendren

ACM SIGPLAN    ACM Digital Library