Many application require understanding how data is crated, what it depends on, and how it may be affected by changes to other data.  The term "provenance" broadly refers to such information. In this project, we aim to design techniques for understanding the provenance of data in computation.