Naiad: A Timely Dataflow System
Derek Murray, Frank McSherry, Rebecca Isaacs, Michael Isard, Paul Barham, Martin Abadi
Proceedings of the 24th ACM Symposium on Operating Systems Principles (SOSP) | November 2013
Publications
-
-
-
Formal Analysis of a Distributed Algorithm for Tracking Progress
Martin Abadi, Frank McSherry, Derek Murray, Tom Rodeheffer
FMOODS-FORTE'13: 15th Formal Methods for Open Object-Based Distributed Systems and 33nd Formal Techniques for Networked and Distributed Systems | June 2013
-
The Naiad Clock Protocol: Specification, Model Checking, and Correctness Proof
Tom Rodeheffer
MSR-TR-2013-20 | February 2013
-
Differential dataflow
Frank McSherry, Derek Murray, Rebecca Isaacs, Michael Isard
Proceedings of CIDR 2013 | January 2013
Proceedings of CIDR 2013
-
-
-
Composable Incremental and Iterative Data-Parallel Computation with Naiad
Frank McSherry, Rebecca Isaacs, Michael Isard, Derek Murray
MSR-TR-2012-105 | October 2012
-
-
-
Naiad: A Timely Dataflow System
Derek Murray, Frank McSherry, Rebecca Isaacs, Michael Isard, Paul Barham, Martin Abadi
Proceedings of the 24th ACM Symposium on Operating Systems Principles (SOSP) | November 2013
-
Differential dataflow
Frank McSherry, Derek Murray, Rebecca Isaacs, Michael Isard
Proceedings of CIDR 2013 | January 2013
Proceedings of CIDR 2013
-
Composable Incremental and Iterative Data-Parallel Computation with Naiad
Frank McSherry, Rebecca Isaacs, Michael Isard, Derek Murray
MSR-TR-2012-105 | October 2012
-
-
-
Naiad: A Timely Dataflow System
Derek Murray, Frank McSherry, Rebecca Isaacs, Michael Isard, Paul Barham, Martin Abadi
Proceedings of the 24th ACM Symposium on Operating Systems Principles (SOSP) | November 2013
-
The Naiad Clock Protocol: Specification, Model Checking, and Correctness Proof
Tom Rodeheffer
MSR-TR-2013-20 | February 2013
-
Differential dataflow
Frank McSherry, Derek Murray, Rebecca Isaacs, Michael Isard
Proceedings of CIDR 2013 | January 2013
Proceedings of CIDR 2013
-
Composable Incremental and Iterative Data-Parallel Computation with Naiad
Frank McSherry, Rebecca Isaacs, Michael Isard, Derek Murray
MSR-TR-2012-105 | October 2012
-
-
-
Formal Analysis of a Distributed Algorithm for Tracking Progress
Martin Abadi, Frank McSherry, Derek Murray, Tom Rodeheffer
FMOODS-FORTE'13: 15th Formal Methods for Open Object-Based Distributed Systems and 33nd Formal Techniques for Networked and Distributed Systems | June 2013
-
-
-
Differential dataflow
Frank McSherry, Derek Murray, Rebecca Isaacs, Michael Isard
Proceedings of CIDR 2013 | January 2013
Proceedings of CIDR 2013
-
-
-
Naiad: A Timely Dataflow System
Derek Murray, Frank McSherry, Rebecca Isaacs, Michael Isard, Paul Barham, Martin Abadi
Proceedings of the 24th ACM Symposium on Operating Systems Principles (SOSP) | November 2013
-
Formal Analysis of a Distributed Algorithm for Tracking Progress
Martin Abadi, Frank McSherry, Derek Murray, Tom Rodeheffer
FMOODS-FORTE'13: 15th Formal Methods for Open Object-Based Distributed Systems and 33nd Formal Techniques for Networked and Distributed Systems | June 2013
-
Differential dataflow
Frank McSherry, Derek Murray, Rebecca Isaacs, Michael Isard
Proceedings of CIDR 2013 | January 2013
Proceedings of CIDR 2013
-
-
-
The Naiad Clock Protocol: Specification, Model Checking, and Correctness Proof
Tom Rodeheffer
MSR-TR-2013-20 | February 2013
-
Composable Incremental and Iterative Data-Parallel Computation with Naiad
Frank McSherry, Rebecca Isaacs, Michael Isard, Derek Murray
MSR-TR-2012-105 | October 2012
-