Programmable Dataflows: Abstraction and Programming Model for Data Sharing

TL;DR

This paper introduces a novel programming model called contract programming model (CPM) for flexible, secure, and efficient data sharing across various applications, addressing limitations of existing solutions.

Contribution

It presents a general data sharing abstraction, the contract model, and implements CPM with optimizations for practical, privacy-aware data sharing applications.

Findings

The contract abstraction effectively models diverse data sharing problems.

CPM enables complex data sharing programs with qualitative improvements.

Optimizations significantly improve the efficiency of data sharing programs.

Abstract

Data sharing is central to a wide variety of applications such as fraud detection, ad matching, and research. The lack of data sharing abstractions makes the solution to each data sharing problem bespoke and cost-intensive, hampering value generation. In this paper, we first introduce a data sharing model to represent every data sharing problem with a sequence of dataflows. From the model, we distill an abstraction, the contract, which agents use to communicate the intent of a dataflow and evaluate its consequences, before the dataflow takes place. This helps agents move towards a common sharing goal without violating any regulatory and privacy constraints. Then, we design and implement the contract programming model (CPM), which allows agents to program data sharing applications catered to each problem's needs. Contracts permit data sharing, but their interactive nature may introduce inefficiencies. To mitigate those inefficiencies, we extend the CPM so that it can save intermediate outputs of dataflows, and skip computation if a dataflow tries to access data that it does not have access to. In our evaluation, we show that 1) the contract abstraction is general enough to represent a wide range of sharing problems, 2) we can write programs for complex data sharing problems and exhibit qualitative improvements over other alternate technologies, and 3) quantitatively, our optimizations make sharing programs written with the CPM efficient.