Linked visualisations via Galois dependencies
Roly Perera, Minh Nguyen, Tomas Petricek, Meng Wang

TL;DR
This paper introduces a language-based dynamic analysis method using Galois dependencies to enable interactive, fine-grained linking of visualizations and data, improving understanding of complex data-output relationships.
Contribution
It presents a novel approach based on bidirectional program slicing with Galois connections, allowing negation and dual analysis for linking outputs, which enhances visualization interaction techniques.
Findings
Enables interactive exploration of data-visualization mappings.
Supports negation and dual analysis for flexible linking.
Provides a formal foundation for brushing and linking features.
Abstract
We present new language-based dynamic analysis techniques for linking visualisations and other structured outputs to data in a fine-grained way, allowing a user to interactively explore how data attributes map to visual or other output elements by selecting (focusing on) substructures of interest. This can help both programmers and end-users understand how data sources and complex outputs are related, which can be a challenge even for someone with expert knowledge of the problem domain. Our approach builds on bidirectional program slicing techiques based on Galois connections, which provide desirable round-tripping properties. Unlike the prior work in program slicing, our approach allows selections to be negated. In a setting with negation, the bidirectional analysis has a De Morgan dual, which can be used to link different outputs generated from the same input. This offers a…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSoftware Engineering Research · Software Testing and Debugging Techniques · Scientific Computing and Data Management
