{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,12]],"date-time":"2026-01-12T10:26:39Z","timestamp":1768213599174,"version":"3.49.0"},"publisher-location":"Cham","reference-count":53,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032156990","type":"print"},{"value":"9783032157003","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-15700-3_15","type":"book-chapter","created":{"date-parts":[[2026,1,12]],"date-time":"2026-01-12T07:22:08Z","timestamp":1768202528000},"page":"309-334","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Data Race Detection by\u00a0Digest-Driven Abstract Interpretation"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9828-0308","authenticated-orcid":false,"given":"Michael","family":"Schwarz","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1729-3925","authenticated-orcid":false,"given":"Julian","family":"Erhard","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2026,1,13]]},"reference":[{"key":"15_CR1","doi-asserted-by":"publisher","unstructured":"Agarwal, S., Barik, R., Sarkar, V., Shyamasundar, R.K.: May-happen-in-parallel analysis of x10 programs. In: PPoPP \u201907, pp. 183\u2013193, ACM (2007). https:\/\/doi.org\/10.1145\/1229428.1229471","DOI":"10.1145\/1229428.1229471"},{"key":"15_CR2","doi-asserted-by":"publisher","unstructured":"Albert, E., Flores-Montoya, A., Genaim, S.: Analysis of may-happen-in-parallel in concurrent objects. In: Giese, H., Rosu, G. (eds.) Formal Techniques for Distributed Systems - Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings, Lecture Notes in Computer Science, vol. 7273, pp. 35\u201351, Springer (2012). https:\/\/doi.org\/10.1007\/978-3-642-30793-5_3","DOI":"10.1007\/978-3-642-30793-5_3"},{"key":"15_CR3","doi-asserted-by":"publisher","unstructured":"Albert, E., Genaim, S., Gordillo, P.: May-happen-in-parallel analysis for asynchronous programs with inter-procedural synchronization. In: Blazy, S., Jensen, T.P. (eds.) Static Analysis - 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings, Lecture Notes in Computer Science, vol. 9291, pp. 72\u201389, Springer (2015). https:\/\/doi.org\/10.1007\/978-3-662-48288-9_5","DOI":"10.1007\/978-3-662-48288-9_5"},{"key":"15_CR4","doi-asserted-by":"publisher","unstructured":"Albert, E., Genaim, S., Gordillo, P.: May-happen-in-parallel analysis with returned futures. In: D\u2019Souza, D., Kumar, K.N. (eds.) Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, Lecture Notes in Computer Science, vol. 10482, pp. 42\u201358, Springer (2017). https:\/\/doi.org\/10.1007\/978-3-319-68167-2_3","DOI":"10.1007\/978-3-319-68167-2_3"},{"key":"15_CR5","doi-asserted-by":"publisher","unstructured":"Barik, R.: Efficient computation of may-happen-in-parallel information for concurrent Java programs. In: LCPC \u201906, vol. 4339 LNCS, pp. 152\u2013169, Springer (2006). https:\/\/doi.org\/10.1007\/978-3-540-69330-7_11","DOI":"10.1007\/978-3-540-69330-7_11"},{"key":"15_CR6","doi-asserted-by":"publisher","unstructured":"Beyer, D.: Software verification: 10th comparative evaluation (SV-COMP 2021). In: Groote, J.F., Larsen, K.G. (eds.) Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II, Lecture Notes in Computer Science, vol. 12652, pp. 401\u2013422, Springer (2021). https:\/\/doi.org\/10.1007\/978-3-030-72013-1_24","DOI":"10.1007\/978-3-030-72013-1_24"},{"key":"15_CR7","doi-asserted-by":"publisher","unstructured":"Beyer, D.: Competition on software verification and witness validation: SV-COMP 2023. In: Sankaranarayanan, S., Sharygina, N. (eds.) Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part II, Lecture Notes in Computer Science, vol. 13994, pp. 495\u2013522, Springer (2023). https:\/\/doi.org\/10.1007\/978-3-031-30820-8_29","DOI":"10.1007\/978-3-031-30820-8_29"},{"key":"15_CR8","doi-asserted-by":"publisher","unstructured":"Beyer, D.: State of the art in software verification and witness validation: SV-COMP 2024. In: Finkbeiner, B., Kov\u00e1cs, L. (eds.) Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III, Lecture Notes in Computer Science, vol. 14572, pp. 299\u2013329, Springer (2024). https:\/\/doi.org\/10.1007\/978-3-031-57256-2_15","DOI":"10.1007\/978-3-031-57256-2_15"},{"key":"15_CR9","unstructured":"Beyer, D.: NoDataRace-Main \u2013 BenchExec results (2025). https:\/\/sv-comp.sosy-lab.org\/2025\/results\/results-verified\/no-data-race.NoDataRace-Main.table.html#\/"},{"issue":"1","key":"15_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/S10009-017-0469-Y","volume":"21","author":"D Beyer","year":"2019","unstructured":"Beyer, D., L\u00f6we, S., Wendler, P.: Reliable benchmarking: requirements and solutions. Int. J. Softw. Tools Technol. Transf. 21(1), 1\u201329 (2019). https:\/\/doi.org\/10.1007\/S10009-017-0469-Y","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"15_CR11","doi-asserted-by":"publisher","unstructured":"Beyer, D., Strejcek, J.: Improvements in software verification and witness validation: SV-COMP 2025. In: Gurfinkel, A., Heule, M. (eds.) Tools and Algorithms for the Construction and Analysis of Systems - 31st International Conference, TACAS 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 III, Lecture Notes in Computer Science, vol. 15698, pp. 151\u2013186, Springer (2025). https:\/\/doi.org\/10.1007\/978-3-031-90660-2_9","DOI":"10.1007\/978-3-031-90660-2_9"},{"key":"15_CR12","doi-asserted-by":"publisher","unstructured":"Blackshear, S., Gorogiannis, N., O\u2019Hearn, P.W., Sergey, I.: Racerd: compositional static race detection. Proc. ACM Program. Lang. 2(OOPSLA),(2018). https:\/\/doi.org\/10.1145\/3276514","DOI":"10.1145\/3276514"},{"key":"15_CR13","doi-asserted-by":"publisher","unstructured":"Chopra, N., Pai, R.R., D\u2019Souza, D.: Data races and static analysis for interrupt-driven kernels. In: Caires, L. (ed.) Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Lecture Notes in Computer Science, vol. 11423, pp. 697\u2013723, Springer (2019). https:\/\/doi.org\/10.1007\/978-3-030-17184-1_25","DOI":"10.1007\/978-3-030-17184-1_25"},{"key":"15_CR14","doi-asserted-by":"publisher","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Graham, R.M., Harrison, M.A., Sethi, R. (eds.) Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, Los Angeles, California, USA, January 1977, pp. 238\u2013252, ACM (1977). https:\/\/doi.org\/10.1145\/512950.512973","DOI":"10.1145\/512950.512973"},{"key":"15_CR15","doi-asserted-by":"publisher","unstructured":"Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: Aho, A.V., Zilles, S.N., Rosen, B.K. (eds.) Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, San Antonio, Texas, USA, January 1979, pp. 269\u2013282, ACM Press (1979). https:\/\/doi.org\/10.1145\/567752.567778","DOI":"10.1145\/567752.567778"},{"key":"15_CR16","unstructured":"Dac\u00edk, T., Vojnar, T.: Racerf: Lightweight static data race detection for c code (2025). https:\/\/arxiv.org\/abs\/2502.04905, to appear at COOP 2025"},{"key":"15_CR17","doi-asserted-by":"publisher","unstructured":"Di, P., Sui, Y., Ye, D., Xue, J.: Region-based may-happen-in-parallel analysis for C programs. In: ICPP, pp. 889\u2013898, IEEE (2015), ISBN 978-1-4673-7587-0, https:\/\/doi.org\/10.1109\/ICPP.2015.98","DOI":"10.1109\/ICPP.2015.98"},{"key":"15_CR18","doi-asserted-by":"publisher","unstructured":"Dietsch, D., Heizmann, M., Klumpp, D., Sch\u00fcssele, F., Podelski, A.: Ultimate taipan and race detection in ultimate - (competition contribution). In: Sankaranarayanan, S., Sharygina, N. (eds.) Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part II, Lecture Notes in Computer Science, vol. 13994, pp. 582\u2013587, Springer (2023). https:\/\/doi.org\/10.1007\/978-3-031-30820-8_40","DOI":"10.1007\/978-3-031-30820-8_40"},{"key":"15_CR19","doi-asserted-by":"publisher","unstructured":"Effinger-Dean, L., Lucia, B., Ceze, L., Grossman, D., Boehm, H.: Ifrit: interference-free regions for dynamic data-race detection. In: Leavens, G.T., Dwyer, M.B. (eds.) Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2012, part of SPLASH 2012, Tucson, AZ, USA, October 21-25, 2012, pp. 467\u2013484, ACM (2012). https:\/\/doi.org\/10.1145\/2384616.2384650","DOI":"10.1145\/2384616.2384650"},{"key":"15_CR20","doi-asserted-by":"publisher","unstructured":"Engler, D.R., Ashcraft, K.: RacerX: effective, static detection of race conditions and deadlocks. In: Scott, M.L., Peterson, L.L. (eds.) Proceedings of the 19th ACM Symposium on Operating Systems Principles 2003, SOSP 2003, Bolton Landing, NY, USA, October 19-22, 2003, pp. 237\u2013252, ACM (2003). https:\/\/doi.org\/10.1145\/945445.945468","DOI":"10.1145\/945445.945468"},{"key":"15_CR21","doi-asserted-by":"crossref","unstructured":"Erhard, J., Bentele, M., Heizmann, M., Klumpp, D., Saan, S., Sch\u00fcssele, F., Schwarz, M., Seidl, H., Tilscher, S., Vojdani, V.: Correctness witnesses for concurrent programs: Bridging the semantic divide with ghosts. In: Shankaranarayanan, K., Sankaranarayanan, S., Trivedi, A. (eds.) Verification, Model Checking, and Abstract Interpretation, pp. 74\u2013100, Springer Nature Switzerland, Cham (2025), ISBN 978-3-031-82700-6","DOI":"10.1007\/978-3-031-82700-6_4"},{"key":"15_CR22","doi-asserted-by":"publisher","unstructured":"Farzan, A., Klumpp, D., Podelski, A.: Sound sequentialization for concurrent program verification. In: Jhala, R., Dillig, I. (eds.) PLDI \u201922: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13 - 17, 2022, pp. 506\u2013521, ACM (2022). https:\/\/doi.org\/10.1145\/3519939.3523727","DOI":"10.1145\/3519939.3523727"},{"key":"15_CR23","doi-asserted-by":"publisher","unstructured":"Gavrilenko, N., de\u00a0Le\u00f3n, H.P., Furbach, F., Heljanko, K., Meyer, R.: BMC for weak memory models: Relation analysis for compact SMT encodings. In: Dillig, I., Tasiran, S. (eds.) Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I, Lecture Notes in Computer Science, vol. 11561, pp. 355\u2013365, Springer (2019). https:\/\/doi.org\/10.1007\/978-3-030-25540-4_19","DOI":"10.1007\/978-3-030-25540-4_19"},{"key":"15_CR24","doi-asserted-by":"publisher","unstructured":"Gorogiannis, N., O\u2019Hearn, P.W., Sergey, I.: A true positives theorem for a static race detector. Proc. ACM Program. Lang. 3(POPL), 57:1\u201357:29 (2019). https:\/\/doi.org\/10.1145\/3290370","DOI":"10.1145\/3290370"},{"key":"15_CR25","doi-asserted-by":"crossref","unstructured":"Handjieva, M., Tzolovski, S.: Refining static analyses by trace-based partitioning using control flow. In: Levi, G. (ed.) Static Analysis, pp. 200\u2013214, Springer Berlin Heidelberg, Berlin, Heidelberg (1998). ISBN 978-3-540-49727-1","DOI":"10.1007\/3-540-49727-7_12"},{"key":"15_CR26","doi-asserted-by":"publisher","unstructured":"He, F., Sun, Z., Fan, H.: Deagle: An SMT-based verifier for multi-threaded programs (competition contribution). In: Fisman, D., Rosu, G. (eds.) Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II, Lecture Notes in Computer Science, vol. 13244, pp. 424\u2013428, Springer (2022). https:\/\/doi.org\/10.1007\/978-3-030-99527-0_25","DOI":"10.1007\/978-3-030-99527-0_25"},{"key":"15_CR27","doi-asserted-by":"publisher","unstructured":"Holter, K., Saan, S., Lam, P., Vojdani, V.: Sound static data race verification for c: Is the race lost? ACM Trans. Program. Lang. Syst. (2025), ISSN 0164-0925, https:\/\/doi.org\/10.1145\/3732933, just Accepted","DOI":"10.1145\/3732933"},{"key":"15_CR28","doi-asserted-by":"crossref","unstructured":"K\u00e4stner, D., et al.: Finding all potential run-time errors and data races in automotive software. In: $$\\text{WCX}^{{\\rm TM}}$$ 2017-SAE World Congress Experience, pp. 1\u20139, SAE International (2017)","DOI":"10.4271\/2017-01-0054"},{"key":"15_CR29","doi-asserted-by":"publisher","unstructured":"Lamport: how to make a multiprocessor computer that correctly executes multiprocess programs . IEEE Trans. Comput. 28(09), 690\u2013691 (1979), ISSN 1557-9956, https:\/\/doi.org\/10.1109\/TC.1979.1675439","DOI":"10.1109\/TC.1979.1675439"},{"key":"15_CR30","doi-asserted-by":"publisher","unstructured":"Liu, B., Liu, P., Li, Y., Tsai, C., Silva, D.D., Huang, J.: When threads meet events: efficient and precise static race detection with origins. In: Freund, S.N., Yahav, E. (eds.) PLDI \u201921: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 2021, pp. 725\u2013739, ACM (2021). https:\/\/doi.org\/10.1145\/3453483.3454073","DOI":"10.1145\/3453483.3454073"},{"issue":"21\u201322","key":"15_CR31","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.70203","volume":"37","author":"F Lu","year":"2025","unstructured":"Lu, F., Wang, X., Zeng, Q., Yuan, G., Bao, Y.: Segment-based may-happen-in-parallel analysis for c programs. Concurr. Comput.: Pract. Exper. 37(21\u201322), e70203 (2025). https:\/\/doi.org\/10.1002\/cpe.70203","journal-title":"Concurr. Comput.: Pract. Exper."},{"key":"15_CR32","doi-asserted-by":"publisher","unstructured":"Marino, D., Musuvathi, M., Narayanasamy, S.: Literace: effective sampling for lightweight data-race detection. In: Hind, M., Diwan, A. (eds.) Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009, pp. 134\u2013143, ACM (2009). https:\/\/doi.org\/10.1145\/1542476.1542491","DOI":"10.1145\/1542476.1542491"},{"key":"15_CR33","doi-asserted-by":"crossref","unstructured":"Mauborgne, L., Rival, X.: Trace partitioning in abstract interpretation based static analyzers. In: Sagiv, M. (ed.) Programming Languages and Systems, pp. 5\u201320, Springer Berlin Heidelberg, Berlin, Heidelberg (2005), ISBN 978-3-540-31987-0","DOI":"10.1007\/978-3-540-31987-0_2"},{"key":"15_CR34","unstructured":"Min\u00e9, A., et al.: Taking static analysis to the next level: proving the absence of run-time errors and data races with astr\u00e9e. In: 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016) (2016)"},{"key":"15_CR35","doi-asserted-by":"publisher","unstructured":"Montagu, B., Jensen, T.: Trace-based control-flow analysis. In: PLDI \u201921, p. 482\u2013496, ACM (2021). https:\/\/doi.org\/10.1145\/3453483.3454057","DOI":"10.1145\/3453483.3454057"},{"key":"15_CR36","doi-asserted-by":"publisher","unstructured":"Naumovich, G., Avrunin, G.S., Clarke, L.A.: An efficient algorithm for computing mhp information for concurrent Java programs. In: ESEC\/FSE \u201999, vol. 1687 LNCS, pp. 338\u2013354, Springer (1999). https:\/\/doi.org\/10.1007\/3-540-48166-4_21","DOI":"10.1007\/3-540-48166-4_21"},{"key":"15_CR37","doi-asserted-by":"publisher","unstructured":"O\u2019Callahan, R., Choi, J.: Hybrid dynamic data race detection. In: Eigenmann, R., Rinard, M.C. (eds.) Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2003, June 11-13, 2003, San Diego, CA, USA, pp. 167\u2013178, ACM (2003). https:\/\/doi.org\/10.1145\/781498.781528","DOI":"10.1145\/781498.781528"},{"key":"15_CR38","doi-asserted-by":"publisher","unstructured":"Pratikakis, P., Foster, J.S., Hicks, M.W.: LOCKSMITH: context-sensitive correlation analysis for race detection. In: Schwartzbach, M.I., Ball, T. (eds.) Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, June 11-14, 2006, pp. 320\u2013331, ACM (2006). https:\/\/doi.org\/10.1145\/1133981.1134019","DOI":"10.1145\/1133981.1134019"},{"key":"15_CR39","doi-asserted-by":"publisher","unstructured":"Raman, R., Zhao, J., Sarkar, V., Vechev, M.T., Yahav, E.: Scalable and precise dynamic datarace detection for structured parallelism. In: Vitek, J., Lin, H., Tip, F. (eds.) ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI \u201912, Beijing, China - June 11\u201316, 2012, pp. 531\u2013542, ACM (2012). https:\/\/doi.org\/10.1145\/2254064.2254127","DOI":"10.1145\/2254064.2254127"},{"key":"15_CR40","doi-asserted-by":"publisher","unstructured":"Rival, X., Mauborgne, L.: The trace partitioning abstract domain. ACM Trans. Program. Lang. Syst. 29(5), 26\u2013es (2007), ISSN 0164-0925, https:\/\/doi.org\/10.1145\/1275497.1275501","DOI":"10.1145\/1275497.1275501"},{"issue":"4","key":"15_CR41","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1145\/265924.265927","volume":"15","author":"S Savage","year":"1997","unstructured":"Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.E.: Eraser: a dynamic data race detector for multithreaded programs. ACM Trans. Comput. Syst. 15(4), 391\u2013411 (1997). https:\/\/doi.org\/10.1145\/265924.265927","journal-title":"ACM Trans. Comput. Syst."},{"key":"15_CR42","unstructured":"Schwarz, M.: Thread-Modular Abstract Interpretation: The Local Perspective. Ph.D. thesis, Technical University of Munich (2025). https:\/\/d-nb.info\/137113345X\/34"},{"key":"15_CR43","doi-asserted-by":"publisher","unstructured":"Schwarz, M., Erhard, J.: The digest framework: concurrency-sensitivity for abstract interpretation. International Journal on Software Tools for Technology Transfer (2024), ISSN 1433-2787, https:\/\/doi.org\/10.1007\/s10009-024-00773-y","DOI":"10.1007\/s10009-024-00773-y"},{"key":"15_CR44","doi-asserted-by":"publisher","unstructured":"Schwarz, M., Erhard, J.: Artifact for \u2019data race detection by digest-driven abstract interpretation\u2019 (2025). https:\/\/doi.org\/10.5281\/zenodo.17128591","DOI":"10.5281\/zenodo.17128591"},{"key":"15_CR45","doi-asserted-by":"publisher","unstructured":"Schwarz, M., Erhard, J.: Data race detection by digest-driven abstract interpretation (extended version) (2025). https:\/\/doi.org\/10.48550\/arXiv.2511.11055","DOI":"10.48550\/arXiv.2511.11055"},{"key":"15_CR46","doi-asserted-by":"publisher","unstructured":"Schwarz, M., Saan, S., Seidl, H., Apinis, K., Erhard, J., Vojdani, V.: Improving thread-modular abstract interpretation. In: Dragoi, C., Mukherjee, S., Namjoshi, K.S. (eds.) Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings, Lecture Notes in Computer Science, vol. 12913, pp. 359\u2013383, Springer (2021). https:\/\/doi.org\/10.1007\/978-3-030-88806-0_18","DOI":"10.1007\/978-3-030-88806-0_18"},{"key":"15_CR47","doi-asserted-by":"publisher","unstructured":"Schwarz, M., Saan, S., Seidl, H., Erhard, J., Vojdani, V.: Clustered relational thread-modular abstract interpretation with local traces. In: European Symposium on Programming, pp. 28\u201358, Springer (2023). https:\/\/doi.org\/10.1007\/978-3-031-30044-8_2","DOI":"10.1007\/978-3-031-30044-8_2"},{"key":"15_CR48","doi-asserted-by":"crossref","unstructured":"Seidl, H., Vojdani, V.: Region analysis for race detection. In: International Static Analysis Symposium, pp. 171\u2013187, Springer (2009)","DOI":"10.1007\/978-3-642-03237-0_13"},{"key":"15_CR49","doi-asserted-by":"publisher","unstructured":"Serebryany, K., Iskhodzhanov, T.: Threadsanitizer: data race detection in practice. In: Proceedings of the Workshop on Binary Instrumentation and Applications, p. 62\u201371, WBIA \u201909, Association for Computing Machinery, New York, NY, USA (2009), ISBN 9781605587936, https:\/\/doi.org\/10.1145\/1791194.1791203","DOI":"10.1145\/1791194.1791203"},{"key":"15_CR50","doi-asserted-by":"publisher","unstructured":"Terauchi, T.: Checking race freedom via linear programming. In: Gupta, R., Amarasinghe, S.P. (eds.) Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008, pp. 1\u201310, ACM (2008). https:\/\/doi.org\/10.1145\/1375581.1375583","DOI":"10.1145\/1375581.1375583"},{"key":"15_CR51","doi-asserted-by":"publisher","unstructured":"Vojdani, V., Apinis, K., R\u00f5tov, V., Seidl, H., Vene, V., Vogler, R.: Static race detection for device drivers: the goblint approach. In: Lo, D., Apel, S., Khurshid, S. (eds.) Proceedings of the 31st IEEE\/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3\u20137, 2016, pp. 391\u2013402, ACM (2016). https:\/\/doi.org\/10.1145\/2970276.2970337","DOI":"10.1145\/2970276.2970337"},{"key":"15_CR52","doi-asserted-by":"publisher","unstructured":"Voung, J.W., Jhala, R., Lerner, S.: RELAY: static race detection on millions of lines of code. In: Crnkovic, I., Bertolino, A. (eds.) Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007, pp. 205\u2013214, ACM (2007). https:\/\/doi.org\/10.1145\/1287624.1287654","DOI":"10.1145\/1287624.1287654"},{"key":"15_CR53","doi-asserted-by":"publisher","unstructured":"Zhou, Q., Li, L., Wang, L., Xue, J., Feng, X.: May-happen-in-parallel analysis with static vector clocks. In: CGO \u201918, pp. 228\u2013240, ACM (2018). https:\/\/doi.org\/10.1145\/3168813","DOI":"10.1145\/3168813"}],"container-title":["Lecture Notes in Computer Science","Verification, Model Checking, and Abstract Interpretation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-15700-3_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,12]],"date-time":"2026-01-12T07:22:10Z","timestamp":1768202530000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-15700-3_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032156990","9783032157003"],"references-count":53,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-15700-3_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"13 January 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"VMCAI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Verification, Model Checking, and Abstract Interpretation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rennes","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 January 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 January 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"vmcai2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conf.researchr.org\/home\/VMCAI-2026","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}