57 citations · 77 across the 4 of their papers we have counts for
4 papers
A Core Calculus for Provenance
Umut A. Acar, Amal Ahmed, James Cheney +1
Provenance is an increasing concern due to the ongoing revolution in sharing and processing scientific data on the Web and in other computer systems. It is proposed that many compu…
Logical Step-Indexed Logical Relations
Derek Dreyer, Amal Ahmed, Lars Birkedal
Appel and McAllester's "step-indexed" logical relations have proven to be a simple and effective technique for reasoning about programs in languages with semantically interesting t…
Provenance Traces
James Cheney, Umut Acar, Amal Ahmed
Provenance is information about the origin, derivation, ownership, or history of an object. It has recently been studied extensively in scientific databases and other settings due…
Provenance as Dependency Analysis
James Cheney, Amal Ahmed, Umut Acar
Provenance is information recording the source, derivation, or history of some information. Provenance tracking has been studied in a variety of settings; however, although many de…