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
Times are displayed in time zone: Tijuana, Baja California change

16:00 - 17:30: Session 2-3PEPM at Crocker
Chair(s): Barry JayUniversity of Technology Sydney
16:00 - 16:10
Talk
PEPM
Jan BessaiTechnical University Dortmund, Boris DüdderUniversity of Copenhagen, George HeinemanWorcester Polytechnic Institute, Jakob RehofTechnical University Dortmund
File Attached
16:10 - 16:20
Talk
PEPM
Dominic Duggan, Jianhua YaoStevens Institute of Technology
16:20 - 16:30
Talk
PEPM
Isao SasanoShibaura Institute of Technology
16:30 - 16:40
Talk
PEPM
Olivier Nicole, Leo WhiteJane Street, Jeremy YallopUniversity of Cambridge, UK
File Attached
16:40 - 16:50
Talk
PEPM
File Attached
16:50 - 17:30
Other
PEPM