Reactive and Event-based Languages & Systems REBLS 2015
The Workshop on Reactive and Event-based Languages & Systems (REBLS) at SPLASH 2015.
Reactive programming and event-based programming are two closely related programming styles that are becoming ever more important with the advent of advanced HPC technology and the ever increasing requirement for our applications to run on the web or on collaborating mobile devices. A number of publications on middleware and language design — so-called reactive and event-based languages and systems (REBLS) — have already seen the light, but the field still raises several questions. For example, the interaction with mainstream language concepts is poorly understood, implementation technology is in its infancy and modularity mechanisms are almost totally lacking. Moreover, large applications are still to be developed and patterns and tools for developing reactive applications is an area that is vastly unexplored.
This workshop will gather researchers in reactive and event-based languages and systems. The goal of the workshop is to exchange new technical research results and to define better the field by coming up with taxonomies and overviews of the existing work.
See the following web site for further information on REBLS 2015: http://www.rebls-ws.com
Tue 27 OctDisplayed time zone: Eastern Time (US & Canada) change
08:30 - 10:00
Session 1REBLS at Haselton 1
|REBLS Keynote - Self-Adjusting Computation: Practical Abstractions for Dynamic Software|
Umut A. Acar Carnegie Mellon University
|Live Programming for Event-Based Languages|
Christopher Schuster , Cormac Flanagan UC Santa Cruz
10:30 - 12:00
Session 2REBLS at Haselton 1
|Indexing RETE's Working Memory - Catering to Dynamic Changes of the Ruleset|
Simon Van de Water VUB, Thierry Renaux Vrije Universiteit Brussel, Lode Hoste , Wolfgang De Meuter Vrije Universiteit Brussel
Eric Fritz , Tian Zhao University of Wisconsin-Milwaukee
Alan Jeffrey Alcatel-Lucent Bell Labs, Tom Van Cutsem Alcatel-Lucent Bell Labs
|Type Safe Evolution of Live Systems|
Miguel Domingues NOVA-LINCS - Universidade Nova de Lisboa, João Costa Seco NOVA LINCS -- Universidade Nova de Lisboa
13:30 - 15:00
Session 3REBLS at Haselton 1
|REBLS Industrial Talk (PREZI): Playful but not a Toy: Views on Reactive Programming from within a Large Software Project|
Johannes Emerich PreziMedia Attached
|Temporal Correlation Patterns|
Oliver Bračevac TU Darmstadt
|Dynamic Condition Response Graphs as Foundation for Event-based Languages and Systems|
Søren Debois IT University of Copenhagen, Thomas H. Hildebrandt
15:30 - 17:00
Session 4REBLS at Haselton 1
|Logical Reactive Programming|
Thierry Renaux Vrije Universiteit Brussel, Lode Hoste , Wolfgang De Meuter Vrije Universiteit Brussel
|Reactive Interfaces: Combining Events and Expressing Signals|
Ragnar Mogk Technische Universität Darmstadt
|Reactive Traversal of Recursive Data Types|
Francisco Sant'Anna PUC-Rio, Hisham Muhammad PUC-Rio, Johnicholas Hines
|Real-Time Deadlines in Functional-Reactive Programming|
REBLSMedia Attached File Attached
17:00 - 17:30
Session 5REBLS at Haselton 1
|Discussion and closing remarks|
Call for Papers
Even though reactive programming and event-based programming are receiving ever more attention, the field is far from mature. This workshop will join forces and try to gather researchers working on the foundational models, languages and implementation technologies. We welcome all submissions on reactive programming, aspect- and event-oriented systems, including but not limited to:
- Language design, implementation, runtime systems, program analysis, software metrics, patterns and benchmarks.
- Study of the paradigm: interaction of reactive and event-based programming with existing language features such as object-oriented programming, mutable state, concurrency.
- Advanced event systems, event quantification, event composition, aspect-oriented programming for reactive applications.
- Functional-reactive programming, self-adjusting computation and incremental computing.
- Applications, case studies that show the efficacy of reactive programming.
- Empirical studies that motivate further research in the field.
- Patterns and best-practices.
- Related fields, such as complex event processing, reactive data structures, view maintenance, constraint-based languages, and their integration with reactive programming. IDEs, Tools.
- Implementation technology, language runtimes, virtual machine support, compilers.
- Modularity and abstraction mechanisms in large systems.
- Formal models for reactive and event-based programming.
The format of the workshop is that of a mini-conference. Participants can present their work in slots of 30mins with Q&A included. Because of the declarative nature of reactive programs, it is often hard to understand their semantics just by looking at the code. We therefore also encourage authors to use their slots for presenting their work based on live demos.