∆-DATAFLOW NETWORKS FOR EVENT STREAM PROCESSING Rajit Manohar Computer Systems Lab Cornell University Ithaca, NYEmail:

Source URL: vlsi.cornell.edu

Foundations of Differential Dataflow Mart´ın Abadi 2 Frank McSherry

Source URL: users.soe.ucsc.edu

open issues in Dataflow HEATHER MILLER

Source URL: heather.miller.am

• Concurrent programming languages
• Computer architecture
• Parallel computing
• Programming paradigms
• Dataflow
• Concurrent computing
• Futures and promises
• Oz

Testing Properties of Dataflow Program Operators Zhihong Xu Martin Hirzel Gregg Rothermel

Source URL: hirzels.com

Fundamenta Informaticae 1–24 IOS Press Modelling of Complex Systems: Systems as dataflow machines Simon Bliudze∗ ´

Source URL: www.bliudze.me

GoDEL: A multidirectional dataflow execution model for large-scale computing Abhishek Kulkarni Indiana University Bloomington, IN 47405

Source URL: www.cs.indiana.edu

Precise Interprocedural Dataflow Analysis via Graph Reachability Thomas Reps,† Susan Horwitz,† and Mooly Sagiv†, ‡ University of Wisconsin Abstract The paper shows how a large class of interprocedural dataflow-an

Source URL: research.cs.wisc.edu

Naiad: A Timely Dataflow System Derek G. Murray Frank McSherry Rebecca Isaacs Michael Isard Paul Barham Mart´ın Abadi Microsoft Research Silicon Valley

Source URL: users.soe.ucsc.edu

DOC Document

Source URL: www.capsl.udel.edu

• Computing
• Computer programming
• Software engineering
• Concurrent programming languages
• Programming paradigms
• Guang Gao
• Parallel computing
• Actor model
• International Parallel and Distributed Processing Symposium
• International Conference on Parallel and Distributed Systems
• Dataflow programming
• Computer architecture

1 Communication-Sensitive Static Dataflow for Parallel Message Passing Applications Greg Bronevetsky Center for Applied Scientific Computing,

Source URL: greg.bronevetsky.com