{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,6]],"date-time":"2026-07-06T14:27:32Z","timestamp":1783348052623,"version":"3.54.6"},"publisher-location":"Cham","reference-count":43,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032306920","type":"print"},{"value":"9783032306937","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T00:00:00Z","timestamp":1782950400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T00:00:00Z","timestamp":1782950400000},"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":[[2027]]},"DOI":"10.1007\/978-3-032-30693-7_7","type":"book-chapter","created":{"date-parts":[[2026,7,6]],"date-time":"2026-07-06T14:11:50Z","timestamp":1783347110000},"page":"101-120","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards Accurate Thread Sharing Analysis via\u00a0Synchronization-Aware Dynamic Tracing"],"prefix":"10.1007","author":[{"given":"Jun","family":"Zhang","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xinyin","family":"Liao","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Cheng","family":"Wen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jie","family":"Su","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhuohua","family":"Li","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yuandao","family":"Cai","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xiaoxue","family":"Ma","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shengchao","family":"Qin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,7,2]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Chen, Y.A., You, Y.P.: Structured concurrency: a review. In: Workshop Proceedings of the 51st International Conference on Parallel Processing, pp. 1\u20138 (2022)","DOI":"10.1145\/3547276.3548519"},{"key":"7_CR2","unstructured":"Hansen, P.B.: The Architecture of Concurrent Programs. Prentice-Hall Inc. (1977)"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Swain, B., et al.: OpenRace: an open source framework for statically detecting data races. In: 2021 IEEE\/ACM 5th International Workshop on Software Correctness for HPC Applications (Correctness), pp. 25\u201332. IEEE (2021)","DOI":"10.1109\/Correctness54621.2021.00009"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Wen, C., He, M., Wu, B., Xu, Z., Qin, S.: Controlled concurrency testing via periodical scheduling. In: Proceedings of the 44th International Conference on Software Engineering, pp. 474\u2013486 (2022)","DOI":"10.1145\/3510003.3510178"},{"issue":"8","key":"7_CR5","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1145\/3155284.3018759","volume":"52","author":"H Luo","year":"2017","unstructured":"Luo, H., Li, P., Ding, C.: Thread data sharing in cache: theory and measurement. ACM SIGPLAN Not. 52(8), 103\u2013115 (2017)","journal-title":"ACM SIGPLAN Not."},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Krishna, A., Samih, A., Solihin, Y.: Data sharing in multi-threaded applications and its impact on chip design. In: 2012 IEEE International Symposium on Performance Analysis of Systems & Software, pp. 125\u2013134. IEEE (2012)","DOI":"10.1109\/ISPASS.2012.6189219"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Huang, J.: Scalable thread sharing analysis. In: Proceedings of the 38th International Conference on Software Engineering, pp. 1097\u20131108 (2016)","DOI":"10.1145\/2884781.2884811"},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"73819","DOI":"10.1109\/ACCESS.2019.2920947","volume":"7","author":"L Bo","year":"2019","unstructured":"Bo, L., Jiang, S., Qian, J., Wang, R., Yao, Y.: Performance evaluation of data race detection based on thread sharing analysis with different granularities: an empirical study. IEEE Access 7, 73819\u201373829 (2019)","journal-title":"IEEE Access"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Serebryany, K., Iskhodzhanov, T.: ThreadSanitizer: data race detection in practice. In: Proceedings of the Workshop on Binary Instrumentation and Applications, pp. 62\u201371 (2009)","DOI":"10.1145\/1791194.1791203"},{"key":"7_CR10","unstructured":"Schilling, J., Wendler, A., G\u00f6rz, P., Bars, N., Schloegel, M., Holz, T.: A binary-level thread sanitizer or why sanitizing on the binary level is hard. In: 33rd USENIX Security Symposium (USENIX Security 24), pp. 1903\u20131920 (2024)"},{"issue":"4","key":"7_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2858651","volume":"2","author":"P Thomson","year":"2016","unstructured":"Thomson, P., Donaldson, A.F., Betts, A.: Concurrency testing using controlled schedulers: an empirical study. ACM Trans. Parallel Comput. (TOPC) 2(4), 1\u201337 (2016)","journal-title":"ACM Trans. Parallel Comput. (TOPC)"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Mukherjee, S., Deligiannis, P., Biswas, A., Lal, A.: Learning-based controlled concurrency testing. Proc. ACM Program. Lang. 4(OOPSLA), 1\u201331 (2020)","DOI":"10.1145\/3428298"},{"key":"7_CR13","unstructured":"Liao, C., Lin, P.H., Asplund, J., Schordan, M., Karlin, I.: DataRaceBench: a benchmark suite for systematic evaluation of data race detection tools. In: Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis, pp. 1\u201314 (2017)"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Huang, J., et al.: Preserving concurrency-revealing seeds in fuzzing of concurrent programs via tuple-based coverage evaluation. In: IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). IEEE (2026)","DOI":"10.1109\/SANER67736.2026.00096"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Sui, Y., Xue, J.: SVF: interprocedural static value-flow analysis in LLVM. In: Proceedings of the 25th International Conference on Compiler Construction, pp. 265\u2013266 (2016)","DOI":"10.1145\/2892208.2892235"},{"key":"7_CR16","unstructured":"Chandra, R.: Parallel Programming in OpenMP. Morgan Kaufmann (2001)"},{"issue":"3","key":"7_CR17","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1109\/TPDS.2008.105","volume":"20","author":"E Ayguad\u00e9","year":"2008","unstructured":"Ayguad\u00e9, E., et al.: The design of OpenMP tasks. IEEE Trans. Parallel Distrib. Syst. 20(3), 404\u2013418 (2008)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Jiang, J., Wen, C., Fu, Z., Qin, S.: CtxFuzz: discovering heap-based memory vulnerabilities through context heap operation sequence guided fuzzing. Sci. Comput. Program., 103395 (2025)","DOI":"10.1016\/j.scico.2025.103395"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Wen, C., et al.: MemLock: memory usage guided fuzzing. In: Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering, pp. 765\u2013777 (2020)","DOI":"10.1145\/3377811.3380396"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Fu, Z., Jiang, J., Wen, C., Xu, Z., Qin, S.: MemSpate: memory usage protocol guided fuzzing. In: International Conference on Formal Engineering Methods, pp. 237\u2013256. Springer (2024)","DOI":"10.1007\/978-981-96-0617-7_14"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Wang, H., et al.: Typestate-guided Fuzzer for discovering use-after-free vulnerabilities. In: Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering, pp. 999\u20131010 (2020)","DOI":"10.1145\/3377811.3380386"},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"Xu, Z., Wu, B., Wen, C., Zhang, B., Qin, S., He, M.: RPG: rust library fuzzing with pool-based fuzz target generation and generic support. In: Proceedings of the IEEE\/ACM 46th International Conference on Software Engineering, pp. 1\u201313 (2024)","DOI":"10.1145\/3597503.3639102"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"Kahlon, V., Yang, Y., Sankaranarayanan, S., Gupta, A.: Fast and accurate static data-race detection for concurrent programs. In: International Conference on Computer Aided Verification, pp. 226\u2013239. Springer (2007)","DOI":"10.1007\/978-3-540-73368-3_26"},{"issue":"4","key":"7_CR24","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/s10009-013-0274-1","volume":"15","author":"V Kahlon","year":"2013","unstructured":"Kahlon, V., Sankaranarayanan, S., Gupta, A.: Static analysis for concurrent programs with applications to data race detection. Int. J. Softw. Tools Technol. Transfer 15(4), 321\u2013336 (2013)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"Kahlon, V., Sinha, N., Kruus, E., Zhang, Y.: Static data race detection for concurrent programs with asynchronous calls. In: Proceedings of the 7th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp. 13\u201322 (2009)","DOI":"10.1145\/1595696.1595701"},{"key":"7_CR26","doi-asserted-by":"crossref","unstructured":"Chopra, N., Pai, R., D\u2019Souza, D.: Data races and static analysis for interrupt-driven kernels. In: European Symposium on Programming, pp. 697\u2013723. Springer (2019)","DOI":"10.1007\/978-3-030-17184-1_25"},{"key":"7_CR27","doi-asserted-by":"crossref","unstructured":"Wang, W.: MPIRace: a static data race detector for MPI programs. In: International Workshop on Languages and Compilers for Parallel Computing, pp. 73\u201390. Springer (2022)","DOI":"10.1007\/978-3-031-31445-2_6"},{"key":"7_CR28","doi-asserted-by":"crossref","unstructured":"Chen, L., Ding, X., Emani, M., Vanderbruggen, T., Lin, P.H., Liao, C.: Data race detection using large language models. In: Proceedings of the SC\u201923 Workshops of the International Conference on High Performance Computing, Network, Storage, and Analysis, pp. 215\u2013223 (2023)","DOI":"10.1145\/3624062.3624088"},{"key":"7_CR29","unstructured":"Cai, Y., Yao, P., Zhang, C.: Canary: practical static detection of inter-thread value-flow bugs. In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, pp. 1126\u20131140 (2021)"},{"key":"7_CR30","doi-asserted-by":"crossref","unstructured":"Grech, N., Fourtounis, G., Francalanza, A., Smaragdakis, Y.: Shooting from the heap: ultra-scalable static analysis with heap snapshots. In: Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 198\u2013208 (2018)","DOI":"10.1145\/3213846.3213860"},{"key":"7_CR31","doi-asserted-by":"crossref","unstructured":"Serebryany, K., Potapenko, A., Iskhodzhanov, T., Vyukov, D.: Dynamic race detection with LLVM compiler: compile-time instrumentation for ThreadSanitizer. In: International Conference on Runtime Verification, pp. 110\u2013114. Springer (2011)","DOI":"10.1007\/978-3-642-29860-8_9"},{"key":"7_CR32","unstructured":"O\u2019callahan, R., Choi, J.-D.: Hybrid dynamic data race detection. In: Proceedings of the Ninth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp. 167\u2013178 (2003)"},{"key":"7_CR33","unstructured":"Kulkarni, R., Mathur, U., Pavlogiannis, A.: Dynamic data-race detection through the fine-grained lens. arXiv preprint: arXiv:2107.03569 (2021)"},{"key":"7_CR34","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Freund, S.N.: FastTrack: efficient and precise dynamic race detection. ACM Sigplan Not. 44(6), 121\u2013133 (2009)","DOI":"10.1145\/1542476.1542490"},{"issue":"6","key":"7_CR35","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1134\/S0361768824700336","volume":"50","author":"EA Gerlits","year":"2024","unstructured":"Gerlits, E.A.: RaceHunter dynamic data race detector. Program. Comput. Softw. 50(6), 467\u2013481 (2024)","journal-title":"Program. Comput. Softw."},{"key":"7_CR36","doi-asserted-by":"crossref","unstructured":"Yu, Y., Rodeheffer, T., Chen, W.: RaceTrack: efficient detection of data race conditions via adaptive tracking. In: Proceedings of the Twentieth ACM Symposium on Operating Systems Principles, pp. 221\u2013234 (2005)","DOI":"10.1145\/1095810.1095832"},{"key":"7_CR37","doi-asserted-by":"crossref","unstructured":"Meng, R., Zhu, B., Yun, H., Li, H., Cai, Y., Yang, Z.: CONVUL: an effective tool for detecting concurrency vulnerabilities. In: 2019 34th IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 1154\u20131157. IEEE (2019)","DOI":"10.1109\/ASE.2019.00125"},{"key":"7_CR38","doi-asserted-by":"crossref","unstructured":"Huang, J.: UFO: predictive concurrency use-after-free detection. In: Proceedings of the 40th International Conference on Software Engineering, pp. 609\u2013619 (2018)","DOI":"10.1145\/3180155.3180225"},{"key":"7_CR39","doi-asserted-by":"crossref","unstructured":"Jiang, Y., Li, D., Xu, C., Ma, X., Lu, J.: Optimistic shared memory dependence tracing (T). In: 2015 30th IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 524\u2013534. IEEE (2015)","DOI":"10.1109\/ASE.2015.11"},{"key":"7_CR40","unstructured":"Fonseca, P., Rodrigues, R., Brandenburg, B.B.: SKI: exposing kernel concurrency bugs through systematic schedule exploration. In: 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14), pp. 415\u2013431 (2014)"},{"key":"7_CR41","doi-asserted-by":"crossref","unstructured":"Agarwal, U., et al.: Nekara: generalized concurrency testing. In: 2021 36th IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 679\u2013691. IEEE (2021)","DOI":"10.1109\/ASE51524.2021.9678838"},{"key":"7_CR42","doi-asserted-by":"crossref","unstructured":"Wolff, D., Shi, Z., Duck, G.J., Mathur, U., Roychoudhury, A.: Greybox fuzzing for concurrency testing. In: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, vol. 2, pp. 482\u2013498 (2024)","DOI":"10.1145\/3620665.3640389"},{"key":"7_CR43","doi-asserted-by":"crossref","unstructured":"Deligiannis, P., Senthilnathan, A., Nayyar, F., Lovett, C., Lal, A.: Industrial-strength controlled concurrency testing for c# programs with coyote. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp. 433\u2013452. Springer (2023)","DOI":"10.1007\/978-3-031-30820-8_26"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-30693-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,6]],"date-time":"2026-07-06T14:13:12Z","timestamp":1783347192000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-30693-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7,2]]},"ISBN":["9783032306920","9783032306937"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-30693-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,7,2]]},"assertion":[{"value":"2 July 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"TASE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Theoretical Aspects of Software Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Shanghai","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","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":"4 July 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 July 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"tase2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/tase2026.github.io\/index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}