This wiki service has now been shut down and archived

From ESIWiki

Provenance in Software Systems

Provenance, briefly, is information "about" a computation, ranging from simple metadata such as time/date/ownership records in file systems to fine-grained explanations showing how the data in the result of a database query or complex distributed computation was derived. Other simple examples include source location information used in error reporting or debugging and traceability information in software engineering. Recently there has been increased interest in developing advanced forms of provenance for scientific databases and scientific computing.

This symposium is third in series of similar events we are organizing to bring leading researchers together with researchers in scientific disciplines with emerging needs involving data provenance, integrity, accountability and audit, and provide time and space for in-depth collaboration.

Although there has not been much research on provenance per se in programming languages and software engineering, we believe that there are interesting relationships that ought to be explored between provenance and topics such as:

• bidirectional, adaptive, and self-adjusting computation
• program analysis/information flow security techniques
• trust modeling
• traceability
• source code management/version control/configuration management
• model-driven design and analysis

Moreover, the fact that these topics appear related to provenance suggests that there may also be commonalities among them that could be explored.

Thus, the goals of the workshop are:

• to familiarize researchers working on the above topics with possible applications in provenance, scientific data management and other areas
• to encourage new work on such applications
• and to seek common foundations underlying the above topics and provenance research in other areas, perhaps yielding a general definition or theory of "provenance".

Registration

Registration is free. Please register even if you are located in Edinburgh so that we can plan appropriately.

http://www.nesc.ac.uk/esi/events/955/

Participants

• James Cheney (University of Edinburgh)
• Steve Chong (Harvard University) abstract
• Nate Foster (University of Pennsylvania)
• Christian Skalka (University of Vermont) abstract
• Paolo Missier
• Perdita Stevens (University of Edinburgh) abstract
• Stijn Vansummeren (University of Hasselt) abstract
• Jeffrey Vaughan (University of Pennsylvania) abstract

Program (tentative)