activity
20182021
most citedOnline Detection of Effectively Callback Free Objects with Applications to Smart Contracts

2 citations · 2 across the 6 of their papers we have counts for

collaborators
Showing cs.DBShow all

2 papers · 1 filter

cs.DB2020

Hypothetical Reasoning via Provenance Abstraction

Daniel Deutch, Yuval Moskovitch, Noam Rinetzky

Data analytics often involves hypothetical reasoning: repeatedly modifying the data and observing the induced effect on the computation result of a data-centric application. Previo…

cs.DB2020

COBRA: Compression via Abstraction of Provenance for Hypothetical Reasoning

Daniel Deutch, Yuval Moskovitch, Noam Rinetzky

Data analytics often involves hypothetical reasoning: repeatedly modifying the data and observing the induced effect on the computation result of a data-centric application. Recent…