We present a work in progress report on applying deforestation to distributed, dynamic dataflow programming models. We propose a novel algorithm, dynamic path contraction, that applies and reverses optimizations to a distributed dataflow application as the program executes. With this algorithm, data and control flow is tracked by the runtime system used to identify potential optimizations as the system is running. We demonstrate and present preliminary results regarding this technique on an actor-based distributed programming model, Lasp, implemented on the Erlang virtual machine
This paper concerns interprocedural dataflow-analysis problems in which the dataflow information at ...
Abstract—Aggregated Dynamic Dataflow Graphs can assist programmers to uncover the main data paths of...
Data-flow analysis computes its solutions over the paths in a control-flow graph. These paths---whet...
International audienceThis chapter reviews dataflow programming as a whole and presents a classifica...
Are imperative languages tied inseparably to the von Neumann model or can they be implemented in so...
Erlang implements a message-passing execution model in which concurrent processes send each other me...
International audienceThe emergence of massively parallel architectures, along with the necessity of...
Dataflow analysis is a powerful tool used for program optimization, static analysis, and editor serv...
Nowadays, in the era of Big Data and Internet of Things, large volumes of data in motion are produce...
The paper introduces and specifies a formalism that provides complete representations of dataflow pr...
This paper builds upon research by Lee [1] concerning the token flow model, an analytical model for ...
AbstractRedux is a tool that generates dynamic dataflow graphs. It generates these graphs by tracing...
We describe a machine model for automatically dynamizing static algorithms and apply it to history-i...
Abstract Strong mobility enables migration of entire computations combining code, data, and executio...
Program analysis and optimization can be speeded up through the use of the dependence flow graph (DF...
This paper concerns interprocedural dataflow-analysis problems in which the dataflow information at ...
Abstract—Aggregated Dynamic Dataflow Graphs can assist programmers to uncover the main data paths of...
Data-flow analysis computes its solutions over the paths in a control-flow graph. These paths---whet...
International audienceThis chapter reviews dataflow programming as a whole and presents a classifica...
Are imperative languages tied inseparably to the von Neumann model or can they be implemented in so...
Erlang implements a message-passing execution model in which concurrent processes send each other me...
International audienceThe emergence of massively parallel architectures, along with the necessity of...
Dataflow analysis is a powerful tool used for program optimization, static analysis, and editor serv...
Nowadays, in the era of Big Data and Internet of Things, large volumes of data in motion are produce...
The paper introduces and specifies a formalism that provides complete representations of dataflow pr...
This paper builds upon research by Lee [1] concerning the token flow model, an analytical model for ...
AbstractRedux is a tool that generates dynamic dataflow graphs. It generates these graphs by tracing...
We describe a machine model for automatically dynamizing static algorithms and apply it to history-i...
Abstract Strong mobility enables migration of entire computations combining code, data, and executio...
Program analysis and optimization can be speeded up through the use of the dependence flow graph (DF...
This paper concerns interprocedural dataflow-analysis problems in which the dataflow information at ...
Abstract—Aggregated Dynamic Dataflow Graphs can assist programmers to uncover the main data paths of...
Data-flow analysis computes its solutions over the paths in a control-flow graph. These paths---whet...