SPLASH 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
Wed 20 Oct 2021 14:05 - 14:20 at Zurich C - Onward! Paper Session 2 Chair(s): Christophe Scholliers
Wed 20 Oct 2021 22:05 - 22:20 at Zurich C - Onward! Paper Session 2 Chair(s): Hidehiko Masuhara

Dynamic languages like Erlang, Clojure, JavaScript, and E adopted data-race freedom by design. To enforce data-race freedom, these languages either deep copy objects during actor (thread) communication or proxy back to their owning thread. We present Dala, a simple programming model that ensures data-race freedom while supporting efficient inter-thread communication. Dala is a dynamic, concurrent, capability-based language that relies on three core capabilities: immutable values can be shared freely; isolated mutable objects can be transferred between threads but not aliased; local objects can be aliased within their owning thread but not dereferenced by other threads. Objects with capabilities can co-exist with unsafe objects, that are unchecked and may suffer data races, without compromising the safety of safe objects. We present a formal model of Dala, prove data race-freedom and state and prove a dynamic gradual guarantee. These theorems guarantee data race-freedom when using safe capabilities and show that the addition of capabilities is semantics preserving modulo permission and cast errors.

Wed 20 Oct

Displayed time zone: Central Time (US & Canada) change

13:50 - 15:10
Onward! Paper Session 2Onward! Papers at Zurich C +8h
Chair(s): Christophe Scholliers Universiteit Gent, Belgium
13:50
15m
Talk
Kotlin Coroutines: Design and ImplementationVirtual
Onward! Papers
Roman Elizarov JetBrains, Mikhail Belyaev JetBrains Research; St. Petersburg Polytechnic University, Marat Akhin JetBrains Research; St. Petersburg Polytechnic University, Ilmir Usmanov JetBrains
DOI
14:05
15m
Talk
Dala: A Simple Capability-Based Dynamic Language Design for Data Race-FreedomVirtual
Onward! Papers
Kiko Fernandez-Reyes Uppsala University, Isaac Oscar Gariano Victoria University of Wellington, James Noble Victoria University of Wellington, Erin Greenwood-Thessman Victoria University of Wellington, Michael Homer Victoria University of Wellington, Tobias Wrigstad Uppsala University, Sweden
DOI
14:20
15m
Talk
Motivating Complexity Understanding by Profiling Energy UsageVirtual
Onward! Papers
Joshua B. Gross California State University at Monterey Bay, Daniel Jacoby California State University at Monterey Bay, Kevin Coogan Hampton University, Aaron Helman California State University at Monterey Bay
DOI
14:35
15m
Talk
SkyQuery: An Aerial Drone Video Sensing PlatformVirtual
Onward! Papers
Favyen Bastani Massachusetts Institute of Technology, Songtao He Massachusetts Institute of Technology, Ziwen Jiang Massachusetts Institute of Technology, Osbert Bastani University of Pennsylvania, Sam Madden Massachusetts Institute of Technology
DOI
14:50
20m
Live Q&A
Discussion, Questions and Answers
Onward! Papers

21:50 - 23:10
Onward! Paper Session 2Onward! Papers at Zurich C
Chair(s): Hidehiko Masuhara Tokyo Institute of Technology
21:50
15m
Talk
Kotlin Coroutines: Design and ImplementationVirtual
Onward! Papers
Roman Elizarov JetBrains, Mikhail Belyaev JetBrains Research; St. Petersburg Polytechnic University, Marat Akhin JetBrains Research; St. Petersburg Polytechnic University, Ilmir Usmanov JetBrains
DOI
22:05
15m
Talk
Dala: A Simple Capability-Based Dynamic Language Design for Data Race-FreedomVirtual
Onward! Papers
Kiko Fernandez-Reyes Uppsala University, Isaac Oscar Gariano Victoria University of Wellington, James Noble Victoria University of Wellington, Erin Greenwood-Thessman Victoria University of Wellington, Michael Homer Victoria University of Wellington, Tobias Wrigstad Uppsala University, Sweden
DOI
22:20
15m
Talk
Motivating Complexity Understanding by Profiling Energy UsageVirtual
Onward! Papers
Joshua B. Gross California State University at Monterey Bay, Daniel Jacoby California State University at Monterey Bay, Kevin Coogan Hampton University, Aaron Helman California State University at Monterey Bay
DOI
22:35
15m
Talk
SkyQuery: An Aerial Drone Video Sensing PlatformVirtual
Onward! Papers
Favyen Bastani Massachusetts Institute of Technology, Songtao He Massachusetts Institute of Technology, Ziwen Jiang Massachusetts Institute of Technology, Osbert Bastani University of Pennsylvania, Sam Madden Massachusetts Institute of Technology
DOI
22:50
20m
Live Q&A
Discussion, Questions and Answers
Onward! Papers