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 language | English |
---|---|
Title of host publication | Programming Languages and Systems |
Subtitle of host publication | 34th 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 |
Editors | Viktor Vafeiadis |
Publisher | Springer |
Chapter | 6 |
Pages | 144-171 |
Number of pages | 28 |
ISBN (Electronic) | 9783031911187 |
ISBN (Print) | 9783031911170 |
DOIs | |
Publication status | Published - 1 May 2025 |
Event | ETAPS 2025 International Joint Conferences On Theory and Practice of Software - McMaster University, Hamilton, Canada Duration: 3 May 2025 → 8 May 2025 https://etaps.org/ |
Publication series
Name | Lecture Notes in Computer Science (LNCS) |
---|---|
Publisher | Springer |
Volume | 15694 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | ETAPS 2025 International Joint Conferences On Theory and Practice of Software |
---|---|
Abbreviated title | ETAPS 2025 |
Country/Territory | Canada |
City | Hamilton |
Period | 3/05/25 → 8/05/25 |
Internet address |
Bibliographical note
Publisher Copyright:© The Author(s) 2025.