{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,12]],"date-time":"2024-04-12T00:36:21Z","timestamp":1712882181622},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T00:00:00Z","timestamp":1706572800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T00:00:00Z","timestamp":1706572800000},"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":["J. Comput. Sci. Technol."],"published-print":{"date-parts":[[2024,2]]},"DOI":"10.1007\/s11390-023-1569-7","type":"journal-article","created":{"date-parts":[[2024,4,11]],"date-time":"2024-04-11T07:02:21Z","timestamp":1712818941000},"page":"211-226","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Minimal Context-Switching Data Race Detection with Dataflow Tracking"],"prefix":"10.1007","volume":"39","author":[{"given":"Long","family":"Zheng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yang","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jie","family":"Xin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hai-Feng","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ran","family":"Zheng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiao-Fei","family":"Liao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hai","family":"Jin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,1,30]]},"reference":[{"issue":"1","key":"1569_CR1","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/130616.130623","volume":"1","author":"RHB Netzer","year":"1992","unstructured":"Netzer R H B, Miller B P. What are race conditions?: Some issues and formalizations. ACM Letters on Programming Languages and Systems, 1992, 1(1): 74\u201388. https:\/\/doi.org\/10.1145\/130616.130623.","journal-title":"ACM Letters on Programming Languages and Systems"},{"issue":"7","key":"1569_CR2","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L Lamport","year":"1978","unstructured":"Lamport L. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 1978, 21(7): 558\u2013565. https:\/\/doi.org\/10.1145\/359545.359563.","journal-title":"Communications of the ACM"},{"key":"1569_CR3","doi-asserted-by":"publisher","unstructured":"Flanagan C, Freund S N. FastTrack: Efficient and precise dynamic race detection. In Proc. the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation, Jun. 2009, pp.121\u2013133. https:\/\/doi.org\/10.1145\/1542476.1542490.","DOI":"10.1145\/1542476.1542490"},{"key":"1569_CR4","doi-asserted-by":"publisher","unstructured":"Tessler C, Fisher N. BUNDLEP: Prioritizing conflict free regions in multi-threaded programs to improve cache reuse. In Proc. the 2018 IEEE Real-Time Systems Symposium, Dec. 2018, pp.325\u2013337. https:\/\/doi.org\/10.1109\/RTSS.2018.00048.","DOI":"10.1109\/RTSS.2018.00048"},{"key":"1569_CR5","doi-asserted-by":"publisher","unstructured":"Davis R I, Altmeyer S, Burns A. Mixed criticality systems with varying context switch costs. In Proc. the 2018 IEEE Real-Time and Embedded Technology and Applications Symposium, Apr. 2018, pp.140\u2013151. https:\/\/doi.org\/10.1109\/RTAS.2018.00024.","DOI":"10.1109\/RTAS.2018.00024"},{"key":"1569_CR6","doi-asserted-by":"publisher","unstructured":"Huang J, Zhang C, Dolby J. CLAP: Recording local executions to reproduce concurrency failures. In Proc. the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, Jun. 2013, pp.141\u2013152. https:\/\/doi.org\/10.1145\/2491956.2462167.","DOI":"10.1145\/2491956.2462167"},{"key":"1569_CR7","doi-asserted-by":"crossref","unstructured":"Huang J, Meredith P O N, Rosu G. Maximal sound predictive race detection with control flow abstraction. In Proc. the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, Jun. 2014, pp.337\u2013348. 10.1145\/2594291.2594315.","DOI":"10.1145\/2594291.2594315"},{"key":"1569_CR8","doi-asserted-by":"publisher","unstructured":"Zheng L, Liao X F, Jin H, He B S, Xue J L, Liu H K. Towards concurrency race debugging: An integrated approach for constraint solving and dynamic slicing. In Proc. the 27th International Conference on Parallel Architectures and Compilation Techniques, Nov. 2018, Article No. 26. https:\/\/doi.org\/10.1145\/3243176.3243206.","DOI":"10.1145\/3243176.3243206"},{"key":"1569_CR9","doi-asserted-by":"publisher","unstructured":"Pereira J C, Machado N, Pinto J S. Testing for race conditions in distributed systems via SMT solving. In Proc. the 14th International Conference on Tests and Proofs, Jun. 2020, pp.122\u2013140. https:\/\/doi.org\/10.1007\/978-3-030-50995-8_7.","DOI":"10.1007\/978-3-030-50995-8_7"},{"key":"1569_CR10","doi-asserted-by":"publisher","unstructured":"De Moura L, Bj\u00f8rner N. Z3: An efficient SMT solver. In Proc. the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Mar. 2008, pp.337\u2013340. https:\/\/doi.org\/10.1007\/978-3-540-78800-3_24.","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"1569_CR11","doi-asserted-by":"publisher","unstructured":"Lu S, Park S, Seo E, Zhou Y Y. Learning from mistakes: A comprehensive study on real world concurrency bug characteristics. In Proc. the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, Mar. 2008, pp.329\u2013339. https:\/\/doi.org\/10.1145\/1346281.1346323.","DOI":"10.1145\/1346281.1346323"},{"key":"1569_CR12","doi-asserted-by":"publisher","unstructured":"Machado N, Lucia B, Rodrigues L. Concurrency debugging with differential schedule projections. In Proc. the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Jun. 2015, pp.586\u2013595. https:\/\/doi.org\/10.1145\/2737924.2737973.","DOI":"10.1145\/2737924.2737973"},{"key":"1569_CR13","doi-asserted-by":"publisher","unstructured":"Machado N, Lucia B, Rodrigues L. Production-guided concurrency debugging. In Proc. the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Feb. 2016, Article No. 29. https:\/\/doi.org\/10.1145\/2851141.2851149.","DOI":"10.1145\/2851141.2851149"},{"key":"1569_CR14","doi-asserted-by":"publisher","unstructured":"Mathur U, Pavlogiannis A, Viswanathan M. The complexity of dynamic data race prediction. In Proc. the 35th Annual ACM\/IEEE Symposium on Logic in Computer Science, Jul. 2020, pp.713\u2013727. https:\/\/doi.org\/10.1145\/3373718.3394783.","DOI":"10.1145\/3373718.3394783"},{"key":"1569_CR15","doi-asserted-by":"publisher","unstructured":"Zhang X Y, Gupta R. Whole execution traces. In Proc. the 37th International Symposium on Microarchitecture, Dec. 2004, pp.105\u2013116. https:\/\/doi.org\/10.1109\/MICRO.2004.37.","DOI":"10.1109\/MICRO.2004.37"},{"key":"1569_CR16","doi-asserted-by":"publisher","unstructured":"Qin F, Wang C, Li Z M, Kim H S, Zhou Y Y, Wu Y F. LIFT: A low-overhead practical information flow tracking system for detecting security attacks. In Proc. the 39th Annual IEEE\/ACM International Symposium on Microarchitecture, Dec. 2006, pp.135\u2013148. https:\/\/doi.org\/10.1109\/MICRO.2006.29.","DOI":"10.1109\/MICRO.2006.29"},{"key":"1569_CR17","doi-asserted-by":"publisher","unstructured":"Zheng L, Liao X F, He B S, Wu S, Jin H. On performance debugging of unnecessary lock contentions on multicore processors: A replay-based approach. In Proc. the 2015 IEEE\/ACM International Symposium on Code Generation and Optimization, Feb. 2015, pp.56\u201367. https:\/\/doi.org\/10.1109\/CGO.2015.7054187.","DOI":"10.1109\/CGO.2015.7054187"},{"key":"1569_CR18","unstructured":"Cadar C, Dunbar D, Engler D. KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs. In Proc. the 8th USENIX Conference on Operating Systems Design and Implementation, Dec. 2008, pp.209\u2013224."},{"key":"1569_CR19","doi-asserted-by":"publisher","unstructured":"Lattner C, Adve V. LLVM: A compilation framework for lifelong program analysis & transformation. In Proc. the International Symposium on Code Generation and Optimization, Mar. 2004, pp.75\u201386. https:\/\/doi.org\/10.1109\/CGO.2004.1281665.","DOI":"10.1109\/CGO.2004.1281665"},{"key":"1569_CR20","doi-asserted-by":"publisher","unstructured":"Xu M, Kashyap S, Zhao H Q, Kim T. Krace: Data race fuzzing for kernel file systems. In Proc. the 2020 IEEE Symposium on Security and Privacy, May 2020, pp.1643\u20131660. https:\/\/doi.org\/10.1109\/SP40000.2020.00078.","DOI":"10.1109\/SP40000.2020.00078"},{"key":"1569_CR21","doi-asserted-by":"publisher","unstructured":"Endo A T, M\u00f8ller A. NodeRacer: Event race detection for Node. js applications. In Proc. the 13th IEEE International Conference on Software Testing, Validation and Verification, Oct. 2020, pp.120\u2013130. https:\/\/doi.org\/10.1109\/ICST46399.2020.00022.","DOI":"10.1109\/ICST46399.2020.00022"},{"key":"1569_CR22","doi-asserted-by":"publisher","unstructured":"Mathur U, Kini D, Viswanathan M. What happens-after the first race? Enhancing the predictive power of happens-before based dynamic race detection. Proceedings of the ACM on Programming Languages, 2018, 2(OOPSLA): Article No. 145. https:\/\/doi.org\/10.1145\/3276515.","DOI":"10.1145\/3276515"},{"key":"1569_CR23","doi-asserted-by":"publisher","unstructured":"Xie X W, Xue J L. Acculock: Accurate and efficient detection of data races. In Proc. the International Symposium on Code Generation and Optimization, Apr. 2011, pp.201\u2013212. https:\/\/doi.org\/10.1109\/CGO.2011.5764688.","DOI":"10.1109\/CGO.2011.5764688"},{"key":"1569_CR24","doi-asserted-by":"publisher","unstructured":"Gen\u00e7 K, Roemer J, Xu Y F, Bond M D . Dependence-aware, unbounded sound predictive race detection. Proceedings of the ACM on Programming Languages, 2019, 3(OOPSLA): Article No. 179. https:\/\/doi.org\/10.1145\/3360605.","DOI":"10.1145\/3360605"},{"key":"1569_CR25","doi-asserted-by":"publisher","unstructured":"Roemer J, Gen\u00e7 K, Bond M D. SmartTrack: Efficient predictive race detection. In Proc. the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, Jun. 2020, pp.747\u2013762. https:\/\/doi.org\/10.1145\/3385412.3385993.","DOI":"10.1145\/3385412.3385993"},{"key":"1569_CR26","doi-asserted-by":"publisher","unstructured":"Yang D Q, Ghasemazar A, Ren X W, Golub M, Lemieux G, Lis M. Procrustes: A dataflow and accelerator for sparse deep neural network training. In Proc. the 53rd Annual IEEE\/ACM International Symposium on Microarchitecture, Oct. 2020, pp.711\u2013724. https:\/\/doi.org\/10.1109\/MICRO50266.2020.00064.","DOI":"10.1109\/MICRO50266.2020.00064"},{"issue":"1","key":"1569_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/TVCG.2017.2744878","volume":"24","author":"K Wongsuphasawat","year":"2018","unstructured":"Wongsuphasawat K, Smilkov D, Wexler J, Wilson J, Man\u00e9 D, Fritz D, Krishnan D, Vi\u00e9gas F B, Wattenberg M. Visualizing dataflow graphs of deep learning models in tensorFlow. IEEE Trans. Visualization and Computer Graphics, 2018, 24(1): 1\u201312. https:\/\/doi.org\/10.1109\/TVCG.2017.2744878.","journal-title":"IEEE Trans. Visualization and Computer Graphics"},{"key":"1569_CR28","doi-asserted-by":"publisher","unstructured":"Lai L B, Qing Z, Yang Z Y, Jin X, Lai Z M, Wang R, Hao K Z, Lin X M, Qin L, Zhang W J, Zhang Y, Qian Z P, Zhou J R. Distributed subgraph matching on timely dataflow. Proceedings of the VLDB Endowment, 2019, 12(10): 1099\u20131112. https:\/\/doi.org\/10.14778\/3339490.3339494.","DOI":"10.14778\/3339490.3339494"},{"key":"1569_CR29","doi-asserted-by":"publisher","unstructured":"Chen R, Li S S, Li Z. From monolith to microservices: A dataflow-driven approach. In Proc. the 24th Asia-Pacific Software Engineering Conference, Dec. 2017, pp.466\u2013475. https:\/\/doi.org\/10.1109\/APSEC.2017.53.","DOI":"10.1109\/APSEC.2017.53"},{"key":"1569_CR30","doi-asserted-by":"publisher","unstructured":"Zhang J Q, Xiong W W, Liu Y, Park S, Zhou Y Y, Ma Z Q. ATDetector: Improving the accuracy of a commercial data race detector by identifying address transfer. In Proc. the 44th Annual IEEE\/ACM International Symposium on Microarchitecture, Dec. 2011, pp.206\u2013215. https:\/\/doi.org\/10.1145\/2155620.2155645.","DOI":"10.1145\/2155620.2155645"},{"key":"1569_CR31","doi-asserted-by":"publisher","unstructured":"Abdulla P A, Arora J, Atig M F, Krishna S. Verification of programs under the release-acquire semantics. In Proc. the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, Jun. 2019, pp.1117\u20131132. https:\/\/doi.org\/10.1145\/3314221.3314649.","DOI":"10.1145\/3314221.3314649"},{"key":"1569_CR32","doi-asserted-by":"publisher","unstructured":"Inverso O, Trubiani C. Parallel and distributed bounded model checking of multi-threaded programs. In Proc. the 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Feb. 2020, pp.202\u2013216. https:\/\/doi.org\/10.1145\/3332466.3374529.","DOI":"10.1145\/3332466.3374529"}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-023-1569-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11390-023-1569-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-023-1569-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,11]],"date-time":"2024-04-11T07:10:57Z","timestamp":1712819457000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11390-023-1569-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,1,30]]},"references-count":32,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2024,2]]}},"alternative-id":["1569"],"URL":"https:\/\/doi.org\/10.1007\/s11390-023-1569-7","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,1,30]]},"assertion":[{"value":"7 May 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 December 2023","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 January 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}