Tue 9 Jan 2018 16:10 - 16:20 at Crocker - Session 2-3 Chair(s): Barry Jay

Dataflow networks have application in various forms of stream processing, for example for parallel processing of multimedia data. A great deal of success has been found in the static scheduling of dataflow networks, providing predictable runtime performance and minimizing the overhead of synchronization. As such applications become larger and more complex, there is a need for mechanisms for composing such networks from components, without violating interface constraints required for safe and correct execution. Such composition will sometimes be done dynamically, including loading and replacing dataflow subgraphs at run-time. A metalanguage for expressing such composition mechanisms is considered, where metaprograms provide the glue for combining dataflow graphs.
Metaprograms are related to dataflow graphs by a type and effect system that captures the firing behavior of the dataflow programs. The type system ensures the correctness of the composition of dataflow graphs, ensuring the correct scheduling of actors in the dataflow graph, in a context where the scheduler is defined as part of the application.

Tue 9 Jan

Displayed time zone: Tijuana, Baja California change

16:00 - 17:30
Session 2-3PEPM at Crocker
Chair(s): Barry Jay University of Technology Sydney
16:00
10m
Talk
Towards Language-independent Code Synthesis (Poster/Demo Talk)
PEPM
Jan Bessai Technical University Dortmund, Boris Düdder University of Copenhagen, George Heineman Worcester Polytechnic Institute, Jakob Rehof Technical University Dortmund
File Attached
16:10
10m
Talk
Dataflow Metaprogramming (Poster/Demo Talk)
PEPM
Dominic Duggan , Jianhua Yao Stevens Institute of Technology
16:20
10m
Talk
An Approach to Generating Text-Based IDEs with Syntax Completion (Poster/Demo Talk)
PEPM
Isao Sasano Shibaura Institute of Technology
16:30
10m
Talk
Modular Macros (Poster/Demo Talk)
PEPM
Olivier Nicole , Leo White Jane Street, Jeremy Yallop University of Cambridge, UK
File Attached
16:40
10m
Talk
Equations: From Clauses to Splittings to Functions (Poster/Demo Talk)
PEPM
File Attached
16:50
40m
Other
Posters/Demos
PEPM