Cognacy Queries over Dependence Graphs for Transparent Visualisations

Joe E C Bond, Cristina David, Minh H Nguyen, Dominic Orchard, Roly N T Perera*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

Abstract

Charts, figures, and text derived from data play an important role in decision making. But making sense of or fact-checking outputs means understanding how they relate to the underlying data. Even for experts with access to the source code and data sets, this poses a significant challenge. We introduce a new program analysis framework (A supporting artifact is available at https://zenodo.org/records/14637654 [5].) which supports interactive exploration of fine-grained IO relationships directly through computed outputs, using dynamic dependence graphs. This framework enables a novel notion in data provenance which we call linked inputs, a relation of mutual relevance or cognacy which arises between inputs that contribute to common features of the output. We give a procedure for computing linked inputs over a dependence graph, and show how the presented in this paper is faster on most examples than an implementation based on execution traces.
Original languageEnglish
Title of host publicationProgramming Languages and Systems
Subtitle of host publication34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I
EditorsViktor Vafeiadis
PublisherSpringer
Chapter6
Pages144-171
Number of pages28
ISBN (Electronic)9783031911187
ISBN (Print)9783031911170
DOIs
Publication statusPublished - 1 May 2025
EventETAPS 2025 International Joint Conferences On Theory and Practice of Software
- McMaster University, Hamilton, Canada
Duration: 3 May 20258 May 2025
https://etaps.org/

Publication series

NameLecture Notes in Computer Science (LNCS)
PublisherSpringer
Volume15694
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceETAPS 2025 International Joint Conferences On Theory and Practice of Software
Abbreviated titleETAPS 2025
Country/TerritoryCanada
CityHamilton
Period3/05/258/05/25
Internet address

Bibliographical note

Publisher Copyright:
© The Author(s) 2025.

Fingerprint

Dive into the research topics of 'Cognacy Queries over Dependence Graphs for Transparent Visualisations'. Together they form a unique fingerprint.

Cite this