11th International Workshop on Theory and Practice of Provenance (TaPP) 2019

in cooperation with USENIX

(as part of the Philadelphia Logic Week)

TaPP 2019

11th International Workshop on Theory and Practice of Provenance

(in cooperation with USENIX)

Date: June 3, 2019 (Monday)

(as part of the Philadelphia Logic Week)

Venue: Saint Joseph’s University, Philadelphia, PA (USA)

The Theory and Practice of Provenance workshop series was started in San Francisco in 2009. TaPP aims to be a venue for early-stage and innovative research ideas related to provenance, and a forum to encourage exchange of ideas between researchers working on provenance and practitioners or potential users of such research. Industry and academic participants interested in provenance in any setting are welcome, and workshop contributions describing unsolved problems or new potential application areas for provenance research are particularly welcome.

Keynote speaker:

Prof. Val Tannen, University of Pennsylvania


Provenance Analysis for First-Order Model Checking


First-Order Logic (FOL) model checking is the computational problem of deciding, given an FO finite model (structure) A and an FO sentence s, whether s holds true in A or not. Its provenance analysis determines how that answer (holds or not) depends on the information that defines the model A. Provenance questions like this one have emerged in databases, scientific workflows, networks, and other areas.

We apply the semiring provenance framework, developed in databases, to the FOL model checking problem. This provides a non-standard semantics for FOL that refines logical truth to values in commutative semirings: the semiring of provenance polynomials, the Viterbi semiring of confidence scores, access control semirings, etc. the semantics can be used to synthesize models based on criteria like maximum confidence or public access. Our uniform treatment of logical negation also provides an approach to negative (a.k.a. why-not or non-answers) provenance.

Joint work with Erich Grädel, RWTH Aachen University.


Val Tannen is a professor in the Department of Computer and Information Science of the University of Pennsylvania. He joined Penn after receiving his PhD from the Massachusetts Institute of Technology in 1987. He worked for a time in Programming Languages, and his current research interests are in Databases. He has always been interested in applications of Logic to Computer Science and since 1994 he has also worked in Bioinformatics, leading a number of interdisciplinary projects. In Databases, he and his students and collaborators have worked on query language design and on models and systems for query optimization, parallel query processing, and data integration. More recently their work has focused on models and systems for data sharing, data provenance, the management of uncertain information and algorithmic provisioning for what-if analysis. Tannen is an ACM Fellow.

Workshop Program

All papers are available at the USENIX program page.

June 3, 2019 (Monday)

All talks will be in Mandeville Hall of SJU. Please see the PLW website for more information.

Session 1: Keynote (9 am - 10:30 am, Room: MV 209)

Session chair: Sudeepa Roy

    • Opening remarks
    • Provenance Analysis for First-Order Model Checking

Prof. Val Tannen, University of Pennsylvania

Coffee break (10:30-11 am)

Session 2: Provenance Analytics (11 am - 12:30 pm, Room: MV 209)

Session chair: Adriane Chapman

    • Provenance Meets Bidirectional Transformations

Anthony Anjorin and James Cheney

    • Structural summaries for visual provenance analysis

Houssem Ben Lahmar and Melanie Herschel

    • Query-based Why-not Explanations for Nested Data

Ralf Diestelkämper, Boris Glavic, Melanie Herschel, and Seokki Lee

Lunch (12:30 pm - 2 pm)

Session 3: Provenance Use Cases (2 pm - 3:30 pm, Room: MV 341)

Session chair: Anthony Anjorin

    • Aggregating unsupervised provenance anomaly detectors

Ghita Berrada and James Cheney

    • GitHub2PROV: Provenance for Supporting Software Project Management

Heather S. Packer, Adriane Chapman, and Lesile Carr

    • Mining Data Provenance to Detect Advanced Persistent Threats

Mathieu Barre, Ashish Gehani, and Vinod Yegneswaran

Coffee break (3:30 pm - 4 pm)

Session 4: Posters and Discussions (4 pm - 5:30 pm, Room: MV 341)

Session chair: Thomas Moyer

    • All accepted research papers
    • Modeling Provenance and Understanding Reproducibility for OpenRefine Data-Cleaning Workflows

Timothy Mcphillips, Lan Li, Nikolaus Parulian, and Bertram Ludaescher


Conference Chairs

  • Thomas Moyer, UNC Charlotte, PC Co-chair
  • Sudeepa Roy, Duke University, PC Co-chair

Program Committee

  • Anthony Anjorin, Paderborn University
  • Zhuowei Bao, Facebook
  • Adam Bates, University of Illinois at Urbana-Champaign
  • Kevin Butler, University of Florida
  • Adriane Chapman, University of Southampton
  • Sarah Cohen-Boulakia, LRI, Universite Paris-Sud
  • Daniel Deutch, Tel Aviv University
  • Floris Geerts, University of Antwerp
  • Ashish Gehani, SRI International
  • Boris Glavic, Illinois Institute of Technology
  • Thomas Pasquier, University of Bristol
  • Babak Salimi, University of Washington
  • Jatinder Singh, University of Cambridge
  • Christian Skalka, University of Vermont
  • Wenchao Zhou, Georgetown University

Call for Papers

TaPP 2019 continues the tradition of providing a genuine workshop environment for discussing and developing new ideas and exploring connections between disciplines and between academic research on provenance and practical applications.

We invite innovative and creative contributions, including papers outlining new challenges for provenance research, promising formal approaches to provenance, innovative use of provenance, experience-based insights, resourceful experiments, and visionary (and possibly risky) ideas. Proposals for tutorials, panel or group discussions, reports on early stage research, or any other activities that will create a successful workshop are encouraged.

Topics of interest include, but are not limited to, the following:

  • Provenance management system prototypes and commercial solutions
  • Provenance analytics, querying, and reasoning about provenance
  • Visualizing provenance information
  • Performance aspects of provenance capture, storage, and analytics
  • Standardization of provenance models and representations
  • Security and privacy implications of provenance
  • Applications of provenance in real life settings
  • Human interaction with provenance
  • Retroactive reconstruction of provenance
  • Using provenance for evaluating data quality and trust in data
  • Novel methods for capturing provenance
  • Integrating provenance information
  • Interoperability among provenance-aware systems
  • Provenance discovery

Important dates

Paper submission deadline: March 10, 2019 (AoE) - early abstract submission is not needed. This is the deadline for both full and short research papers.

Demo/poster deadline: April 1, 2019 (AoE)

Author notification: April 15, 2019

Final versions due: May 1, 2019

Workshop: June 3, 2019 (Monday)

Submission Instructions

Papers must be:

  • Not published or under review elsewhere
  • Formatted according to the ACM SIGPLAN two-column format (http://www.sigplan.org/Resources/Author/ )

  • Papers can be one of the following categories:
    • Full Research Papers (up to 8 pages)
      • In-depth presentations of novel concepts and results
    • Extended Abstracts and Short Papers (up to 4 pages)
      • "Short papers" of 4 pages or less need not make an original research contribution and will be evaluated on the basis of originality, relevance, and contribution to the workshop
      • Proposals for tutorials, demos, discussions or other activities should be submitted as short papers
      • Should have "(short paper)" written below the title of the paper
    • Demo/Posters (one page + one additional page for screenshots in the demo paper):
      • Please submit a 1-page demo or poster proposal (in any reasonable format) using the easychair submission site. For poster, please summarize the research topic of your poster presentation. A draft of the poster itself may also be submitted but is not necessary. Authors of accepted poster proposals will be allocated a poster board area large enough for an A0 or A1 poster. For demo proposal, an additional page can be used for screenshots of the system. Please include what you plan to demonstrate at the workshop.