{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T06:11:08Z","timestamp":1760163068298,"version":"build-2065373602"},"reference-count":53,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T00:00:00Z","timestamp":1757289600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T00:00:00Z","timestamp":1757289600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,9,8]]},"DOI":"10.1109\/scam67354.2025.00009","type":"proceedings-article","created":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T17:35:14Z","timestamp":1760117714000},"page":"13-24","source":"Crossref","is-referenced-by-count":0,"title":["Handling Cyclic Reinforcement of Lattice Values in Incremental Dependency-driven Static Analysis"],"prefix":"10.1109","author":[{"given":"Jens","family":"Van der Plas","sequence":"first","affiliation":[{"name":"Vrije Universiteit,Brussel,Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Quentin","family":"Sti\u00e9venart","sequence":"additional","affiliation":[{"name":"Université du Québec à Montréal,Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Coen","family":"De Roover","sequence":"additional","affiliation":[{"name":"Vrije Universiteit,Brussel,Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"volume-title":"Software Testing Techniques","year":"1990","author":"Beizer","key":"ref1"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2018.00009"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/VL\/HCC51201.2021.9576170"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICPC.2008.24"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ASEW.2008.4686322"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.74"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/96709.96728"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/502874.502888"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37051-9_4"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2351676.2351720"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3293606"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950332"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-24950-1_14"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-11245-5_12"},{"key":"ref15","article-title":"Incrementalizing Static Analyses in Datalog","volume-title":"Doctoral dissertation","author":"Szab\u00f3","year":"2021"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3276509"},{"key":"ref17","article-title":"Incremental Static Program Analysis through Reified Computational Dependencies","volume-title":"Doctoral dissertation","author":"Van der Plas","year":"2024"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2021.111042"},{"key":"ref19","article-title":"Scalable Designs for Abstract Interpretation of Concurrent Programs: Application to Actors and Shared-Memory Multi-Threading","volume-title":"Doctoral dissertation","author":"Sti\u00e9venart","year":"2018"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1863543.1863553"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM51674.2020.00008"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/360051.360056"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/359636.359712"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.5220\/0011849900003464"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1137\/0201010"},{"key":"ref26","first-page":"10:1","article-title":"Garbage-Free Abstract Interpretation Through Abstract Reference Counting","volume-title":"Proceedings of the 33rd European Conference on Object-Oriented Programming, ECOOP 2019, London, UK, July 15-19, 2019","author":"Van Es"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM51674.2020.00009"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/3635800.3637447"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-41103-9_5"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/3428252"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2501854"},{"key":"ref32","article-title":"An Approach to Incremental and Modular Context-Sensitive Analysis","volume-title":"ETSI_Informatica","author":"Garcia-Contreras","year":"2018"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-51364-7_14"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-54572-7_14"},{"key":"ref35","article-title":"Incremental Semantic Analysis","volume-title":"Doctoral dissertation","author":"Hedin","year":"1992"},{"key":"ref36","first-page":"210","article-title":"An-dromeda: Accurate and Scalable Security Analysis of Web Applications","volume-title":"Proceedings of the 16th International Conference on Fundamental Approaches to Software Engineering, FASE 2013, Rome, Italy, March 16-24, 2013","author":"Tripp"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/3315568.3329964"},{"article-title":"Fixpoint Reuse for Incremental JavaScript Analysis (Extended Version)","year":"2019","author":"Nichols","key":"ref38"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/2103746.2103754"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2015.03.002"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73584"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/32.58766"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454026"},{"article-title":"Incrementalizing inter-procedural program analyses with recursive aggregation in Datalog","volume-title":"2019, Presented at the Second Workshop on Incremental Computing, IC 2019","author":"Szab\u00f3","key":"ref44"},{"key":"ref45","first-page":"320","article-title":"IncA: A DSL for the Definition of Incremental Program Analyses","volume-title":"Proceedings of the 31st IEEE\/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3-7, 2016","author":"Szab\u00f3"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/170035.170066"},{"article-title":"Efficiently updating IDE-based data-flow analyses in response to incremental program changes","year":"2013","author":"Arzt","key":"ref47"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568243"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(96)00072-2"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199462"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/3485542"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/1069774.1069785"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/3611643.3613860"}],"event":{"name":"2025 IEEE International Conference on Source Code Analysis & Manipulation (SCAM)","start":{"date-parts":[[2025,9,8]]},"location":"Auckland, New Zealand","end":{"date-parts":[[2025,9,9]]}},"container-title":["2025 IEEE International Conference on Source Code Analysis & Manipulation (SCAM)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11190090\/11189990\/11189999.pdf?arnumber=11189999","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T05:43:54Z","timestamp":1760161434000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11189999\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,8]]},"references-count":53,"URL":"https:\/\/doi.org\/10.1109\/scam67354.2025.00009","relation":{},"subject":[],"published":{"date-parts":[[2025,9,8]]}}}