Datalog and recursive query processing
In recent years, we have witnessed a revival of the use of recursive queries in a variety of
emerging application domains such as data integration and exchange, information …
emerging application domains such as data integration and exchange, information …
[PDF][PDF] Differential dataflow.
Differential Dataflow Page 1 Differential Dataflow McSherry, Frank D., Murray, Derek G.,
Isaacs, Rebecca, Isard, Michael Chathura Kankanamge 08th November 2016 Page 2 Outline …
Isaacs, Rebecca, Isard, Michael Chathura Kankanamge 08th November 2016 Page 2 Outline …
Graphbolt: Dependency-driven synchronous processing of streaming graphs
Efficient streaming graph processing systems leverage incremental processing by updating
computed results to reflect the change in graph structure for the latest graph snapshot …
computed results to reflect the change in graph structure for the latest graph snapshot …
Declarative networking
Declarative Networking is a programming methodology that enables developers to concisely
specify network protocols and services, which are directly compiled to a dataflow framework …
specify network protocols and services, which are directly compiled to a dataflow framework …
DZiG: Sparsity-aware incremental processing of streaming graphs
State-of-the-art streaming graph processing systems that provide Bulk Synchronous Parallel
(BSP) guarantees remain oblivious to the computation sparsity present in iterative graph …
(BSP) guarantees remain oblivious to the computation sparsity present in iterative graph …
Explaining query answers with explanation-ready databases
With the increased generation and availability of big data in different domains, there is an
imminent requirement for data analysis tools that are able to'explain'the trends and …
imminent requirement for data analysis tools that are able to'explain'the trends and …
Relational transducers for declarative networking
Motivated by a recent conjecture concerning the expressiveness of declarative networking,
we propose a formal computation model for “eventually consistent” distributed querying …
we propose a formal computation model for “eventually consistent” distributed querying …
FSR: Formal analysis and implementation toolkit for safe interdomain routing
Interdomain routing stitches the disparate parts of the Internet together, making protocol
stability a critical issue to both researchers and practitioners. Yet, researchers create safety …
stability a critical issue to both researchers and practitioners. Yet, researchers create safety …
A program logic for verifying secure routing protocols
The Internet, as it stands today, is highly vulnerable to attacks. However, little has been done
to understand and verify the formal security guarantees of proposed secure inter-domain …
to understand and verify the formal security guarantees of proposed secure inter-domain …