Towards Aggregate Programming in Scala
Recent works in the context of large-scale adaptive systems, such as those for the Internet of Things (IoT) scenario, promote aggregate programming [3], a development approach for distributed systems in which one programs the aggregate of computational devices instead of individual ones. This makes the resulting behaviour highly insensitive to network size, density, and topology, and as such, intrinsically robust to failures and changes to working conditions (e.g., location of computational load, communication technology, and computational infrastructure).
In this paper we are concerned with how this approach can impact mainstream software development, and hence outline a Scala-based support of aggregate programming, leveraging Scala advanced type system, DSL support, and actors mechanisms.
Sun 17 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:00 - 12:30 | |||
10:00 30m | Implicitly Distributing Pervasively Concurrent Programs PMLDC John A. Thywissen The University of Texas at Austin, Arthur Michener Peters The University of Texas at Austin, Texas, USA, William Cook UT Austin Link to publication DOI | ||
10:30 30m | Static Type Checking for the Kompics Component Model -- Kola - The Kompics Language PMLDC Link to publication DOI File Attached | ||
11:00 30m | Towards Aggregate Programming in Scala PMLDC Link to publication DOI | ||
11:30 30m | Building Distributed Applications with Data and Time Frames PMLDC | ||
12:00 30m | Fractional Permissions for Race-Free Mutable References in a Dataflow Intermediate Language PMLDC |