TOP
Suche auf der Schloss Dagstuhl Webseite
Sie suchen nach Informationen auf den Webseiten der einzelnen Seminare? - Dann:
Nicht fündig geworden? - Einige unserer Dienste laufen auf separaten Webseiten mit jeweils eigener Suche. Bitte beachten Sie folgende Liste:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminare
Innerhalb dieser Seite:
Externe Seiten:
  • DOOR (zum Registrieren eines Dagstuhl Aufenthaltes)
  • DOSA (zum Beantragen künftiger Dagstuhl Seminare oder Dagstuhl Perspektiven Workshops)
Publishing
Innerhalb dieser Seite:
Externe Seiten:
dblp
Innerhalb dieser Seite:
Externe Seiten:
  • die Informatik-Bibliographiedatenbank dblp


Dagstuhl-Seminar 16402

Programming Language Techniques for Incremental and Reactive Computing

( 03. Oct – 07. Oct, 2016 )


Permalink
Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite: https://www.dagstuhl.de/16402

Organisatoren

Kontakt


Motivation

This Dagstuhl Seminar will cultivate a self-aware community of programming language (PL) researchers focusing on incremental and reactive computing behavior. Incremental computations are those that process input changes faster than naive computation that runs from scratch, and reactive computations consist of interactive behavior that varies over time. Due to the importance and prevalence of incremental, reactive systems, ad hoc variants of incremental and reactive computation are ubiquitous in modern software systems.

In response to this reality, the PL research community has worked for several decades to advance new languages for systems that interface with a dynamically-changing environment. In this space, researchers propose new general-purpose languages and algorithms to express and implement efficient, dynamic behavior, in the form of incremental and reactive language systems.

While these research lines continue to develop successfully, this work lacks a shared community that synthesizes a collective discussion about common motivations, alternative techniques, current results and future challenges. To overcome this lack of community, this seminar will work towards building one, by strengthening existing research connections and by forging new ones. Developing a shared culture is critical to the future advancement of incremental and reactive computing in modern PL research, and in turn, this PL research is critical to developing the efficient, understandable interactive systems of the future.


Summary

We sought to hold a Dagstuhl Seminar that would bring together programming language (PL) researchers focusing on incremental and reactive computing behavior. The meta-level purpose of this seminar was to take an initial step toward developing a community of experts from the disparate threads of successful research. In that this seminar provoked discussion about common and differing motivations, techniques, and future challenges, this event was successful in starting to cultivate this culture.

Short-term concrete outcomes: Thus far, there are been two concrete outcomes of this seminar:

  • Wikipedia article outlines and edits (Section 3.3)
  • First Workshop on Incremental Computation (IC) at PLDI 2017 (Section 5)

Section 3 gives an overview of the event structure of the seminar, and details some of the event’s outcomes, including outline brainstorming and Wikipedia editing, and the creation of a new Workshop on Incremental Computing (IC). In later sections, this report gives further background on research in reactive and incremental computing (Section 4), and further details on the new IC Workshop (Section 5).

Aknowledgments. Co-organizing this seminar with Camil, Sebastian and Shriram was a pleasure. I am especially thankful to Shriram for organizing the event's structure, and moderating group discussions and group decision making during its execution. We organizers are all thankful to the participants, who all brought a unique insight to the seminar, which in my humble opinion, succeeded in its aims.

Copyright Matthew A. Hammer

Teilnehmer
  • Pramod Bhatotia (TU Dresden, DE) [dblp]
  • Sebastian Burckhardt (Microsoft Research - Redmond, US) [dblp]
  • Ezgi Cicek (MPI-SWS - Saarbrücken, DE) [dblp]
  • Antony Courtney (San Francisco, US) [dblp]
  • Camil Demetrescu (Sapienza University of Rome, IT) [dblp]
  • Sebastian Erdweg (TU Delft, NL) [dblp]
  • Deepak Garg (MPI-SWS - Saarbrücken, DE) [dblp]
  • Philipp Haller (KTH Royal Institute of Technology - Stockholm, SE) [dblp]
  • Matthew A. Hammer (University of Colorado - Boulder, US) [dblp]
  • Daco Harkes (TU Delft, NL) [dblp]
  • Kyle Headley (University of Colorado - Boulder, US) [dblp]
  • Yit Phang Khoo (The MathWorks Inc. - Natick, US) [dblp]
  • Shriram Krishnamurthi (Brown University - Providence, US) [dblp]
  • Neel Krishnaswami (University of Cambridge, GB) [dblp]
  • Nicholas Labich (University of Maryland - College Park, US) [dblp]
  • Ruy Ley-Wild (LogicBlox - Atlanta, US) [dblp]
  • Frank McSherry (Richmond, US) [dblp]
  • Mira Mezini (TU Darmstadt, DE) [dblp]
  • Yaron Minsky (Jane Street - New York, US) [dblp]
  • Ryan R. Newton (Indiana University - Bloomington, US) [dblp]
  • Marc Pouzet (ENS - Paris, FR) [dblp]
  • Guido Salvaneschi (TU Darmstadt, DE) [dblp]
  • Rohin Shah (University of California - Berkeley, US) [dblp]
  • R. Benjamin Shapiro (University of Colorado - Boulder, US) [dblp]
  • Tamás Szabó (TU Delft, NL) [dblp]
  • Kanat Tangwongsan (Mahidol University, TH) [dblp]

Klassifikation
  • data structures / algorithms / complexity
  • programming languages / compiler
  • semantics / formal methods

Schlagworte
  • Caching
  • memoization
  • dynamic dependency graphs
  • dataflow graphs
  • in- cremental algorithms
  • change propagation
  • static program transformation
  • reactive languages and systems