{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,9]],"date-time":"2026-07-09T01:36:59Z","timestamp":1783561019710,"version":"3.55.0"},"reference-count":31,"publisher":"Association for Computing Machinery (ACM)","issue":"POPL","license":[{"start":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T00:00:00Z","timestamp":1641945600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. ACM Program. Lang."],"published-print":{"date-parts":[[2022,1,16]]},"abstract":"<jats:p>\n            We present new language-based dynamic analysis techniques for linking visualisations and other structured outputs to data in a fine-grained way, allowing users to explore how data attributes and visual or other output elements are related by selecting (focusing on) substructures of interest. Our approach builds on bidirectional program slicing techiques based on Galois connections, which provide desirable round-tripping properties. Unlike the prior work, our approach allows selections to be negated, equipping the bidirectional analysis with a De Morgan dual which can be used to link different outputs generated from the same input. This offers a principled language-based foundation for a popular view coordination feature called\n            <jats:italic>brushing and linking<\/jats:italic>\n            where selections in one chart automatically select corresponding elements in another related chart.\n          <\/jats:p>","DOI":"10.1145\/3498668","type":"journal-article","created":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T17:03:12Z","timestamp":1642006992000},"page":"1-29","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Linked visualisations via Galois dependencies"],"prefix":"10.1145","volume":"6","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9249-9862","authenticated-orcid":false,"given":"Roly","family":"Perera","sequence":"first","affiliation":[{"name":"Alan Turing Institute, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3845-9928","authenticated-orcid":false,"given":"Minh","family":"Nguyen","sequence":"additional","affiliation":[{"name":"University of Bristol, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7242-2208","authenticated-orcid":false,"given":"Tomas","family":"Petricek","sequence":"additional","affiliation":[{"name":"University of Kent, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7780-630X","authenticated-orcid":false,"given":"Meng","family":"Wang","sequence":"additional","affiliation":[{"name":"University of Bristol, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2022,1,12]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28641-4_22"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.0016-7363.2005.00671.x"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1080\/00401706.1987.10488204"},{"key":"e_1_2_1_4_1","volume-title":"Mathematics of Program Construction","author":"Bird Richard","unstructured":"Richard Bird and Lambert Meertens . 1998. Nested datatypes . In Mathematics of Program Construction , Johan Jeuring (Ed.). Springer Berlin Heidelberg , Berlin, Heidelberg . 52\u201367. isbn:978-3-540-69345-1 Richard Bird and Lambert Meertens. 1998. Nested datatypes. In Mathematics of Program Construction, Johan Jeuring (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg. 52\u201367. isbn:978-3-540-69345-1"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0013028"},{"key":"e_1_2_1_6_1","volume-title":"Urbanization in East Asia between 2000 and","author":"Bremer Nadieh","year":"2010","unstructured":"Nadieh Bremer and Marlieke Ranzijn . 2015. Urbanization in East Asia between 2000 and 2010 . http:\/\/nbremer.github.io\/urbanization\/ Nadieh Bremer and Marlieke Ranzijn. 2015. Urbanization in East Asia between 2000 and 2010. http:\/\/nbremer.github.io\/urbanization\/"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44503-X_20"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/0950-5849(88)90146-2"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129500000803"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/WPC.1996.501116"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(98)00087-1"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54434-1_21"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3408989"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00873408"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111542.1111552"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800003713"},{"key":"e_1_2_1_17_1","first-page":"0","article-title":"Haskell 98: Introduction","volume":"13","author":"Peyton Jones Simon L.","year":"2003","unstructured":"Simon L. Peyton Jones . 2003 . Haskell 98: Introduction . Journal of Functional Programming , 13 , 1 (2003), 0 \u2013 6 . Simon L. Peyton Jones. 2003. Haskell 98: Introduction. Journal of Functional Programming, 13, 1 (2003), 0\u20136.","journal-title":"Journal of Functional Programming"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/512927.512945"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1126\/science.314.5807.1856"},{"key":"e_1_2_1_21_1","volume-title":"Network and Distributed Systems Security Symposium.","author":"Newsome James","year":"2005","unstructured":"James Newsome and Dawn Song . 2005 . Dynamic taint analysis for automatic detection, analysis, and signature generation of exploits on commodity software . In Network and Distributed Systems Security Symposium. James Newsome and Dawn Song. 2005. Dynamic taint analysis for automatic detection, analysis, and signature generation of exploits on commodity software. In Network and Distributed Systems Security Symposium."},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364527.2364579"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.CONCUR.2016.18"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594319"},{"key":"e_1_2_1_26_1","volume-title":"Provenance for Interactive Visualizations. In Workshop on Human-In-the-Loop Data Analytics (HILDA","author":"Psallidas Fotis","year":"2018","unstructured":"Fotis Psallidas and Eugene Wu . 2018 . Provenance for Interactive Visualizations. In Workshop on Human-In-the-Loop Data Analytics (HILDA 2018). ACM. Fotis Psallidas and Eugene Wu. 2018. Provenance for Interactive Visualizations. In Workshop on Human-In-the-Loop Data Analytics (HILDA 2018). ACM."},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199462"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3110258"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/IV.2006.113"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2002.806121"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.21105\/joss.01057"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/TVCG.2019.2934538"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/800078.802557"}],"container-title":["Proceedings of the ACM on Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3498668","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3498668","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:30:27Z","timestamp":1750188627000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3498668"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,1,12]]},"references-count":31,"journal-issue":{"issue":"POPL","published-print":{"date-parts":[[2022,1,16]]}},"alternative-id":["10.1145\/3498668"],"URL":"https:\/\/doi.org\/10.1145\/3498668","relation":{},"ISSN":["2475-1421"],"issn-type":[{"value":"2475-1421","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,1,12]]},"assertion":[{"value":"2022-01-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}