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 Oct Times are displayed in time zone: Eastern Time (US & Canada) change
|08:30 - 08:40|
|08:40 - 09:40|
|REBLS Keynote - Self-Adjusting Computation: Practical Abstractions for Dynamic Software|
Umut A. AcarCarnegie Mellon University
|09:40 - 10:00|
|Live Programming for Event-Based Languages|
|10:30 - 10:52|
|Indexing RETE's Working Memory - Catering to Dynamic Changes of the Ruleset|
|10:52 - 11:15|
|11:15 - 11:37|
|11:37 - 12:00|
|Type Safe Evolution of Live Systems|
|13:30 - 14:20|
|REBLS Industrial Talk (PREZI): Playful but not a Toy: Views on Reactive Programming from within a Large Software Project|
Johannes EmerichPreziMedia Attached
|14:20 - 14:40|
|Temporal Correlation Patterns|
Oliver BračevacTU Darmstadt
|14:40 - 15:00|
|Dynamic Condition Response Graphs as Foundation for Event-based Languages and Systems|
|15:30 - 15:52|
|Logical Reactive Programming|
|15:52 - 16:15|
|Reactive Interfaces: Combining Events and Expressing Signals|
Ragnar MogkTechnische Universität Darmstadt
|16:15 - 16:37|
|Reactive Traversal of Recursive Data Types|
|16:37 - 17:00|
|Real-Time Deadlines in Functional-Reactive Programming|
REBLSMedia Attached File Attached
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.