CLX: Towards verifiable PBE data transformation

Understand

Effective data analytics on data collected from the real world usually begins with a notoriously expensive pre-processing step of data transformation and wrangling.

• Programming By Example (PBE) systems have been proposed to automatically infer transformations using simple examples that users provide as hints.
• However, an important usability issue - verification - limits the effective use of such PBE data transformation systems, since the verification process is often effort-consuming and unreliable.
• We propose a data transformation paradigm design CLX (pronounced "clicks") with a focus on facilitating verification for end users in a PBE-like data transformation.