{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,11]],"date-time":"2026-11-11T08:32:56Z","timestamp":1794385976356,"version":"4.9.0"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642197178","type":"print"},{"value":"9783642197185","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-19718-5_11","type":"book-chapter","created":{"date-parts":[[2011,3,14]],"date-time":"2011-03-14T10:17:15Z","timestamp":1300097835000},"page":"196-215","source":"Crossref","is-referenced-by-count":6,"title":["Dataflow Analysis for Datarace-Free Programs"],"prefix":"10.1007","author":[{"given":"Arnab","family":"De","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Deepak","family":"D\u2019Souza","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rupesh","family":"Nasre","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"Andersen, L.O.: Program Analysis and Specialization for the C Programming Language. Ph.D. thesis, DIKU, University of Copenhagen (1994)"},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/1375581.1375591","volume-title":"Proceedings of the 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"H.J. Boehm","year":"2008","unstructured":"Boehm, H.J., Adve, S.V.: Foundations of the C++ Concurrency Memory Model. In: Proceedings of the 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 68\u201378. ACM, New York (2008)"},{"key":"11_CR3","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1145\/1375581.1375620","volume-title":"Proceedings of the 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"R. Chugh","year":"2008","unstructured":"Chugh, R., Voung, J.W., Jhala, R., Lerner, S.: Dataflow Analysis for Concurrent Programs Using Datarace Detection. In: Proceedings of the 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 316\u2013326. ACM, New York (2008)"},{"key":"11_CR4","doi-asserted-by":"crossref","first-page":"238","DOI":"10.1145\/512950.512973","volume-title":"Proceedings of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of programming languages","author":"P. Cousot","year":"1977","unstructured":"Cousot, P., Cousot, R.: Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In: Proceedings of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of programming languages, pp. 238\u2013252. ACM, New York (1977)"},{"key":"11_CR5","unstructured":"De, A., D\u2019Souza, D., Nasre, R.: Dataflow Analysis for Datarace-Free Programs. Tech. Rep. IISc-CSA-TR-2010-8, Computer Science and Automation, Indian Institute of Science, India (December 2010), http:\/\/aditya.csa.iisc.ernet.in\/TR\/2010\/8\/"},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1145\/193173.195295","volume-title":"Proceedings of the 2nd ACM SIGSOFT Symposium on Foundations of Software Engineering","author":"M.B. Dwyer","year":"1994","unstructured":"Dwyer, M.B., Clarke, L.A.: Data Flow Analysis for Verifying Properties of Concurrent Programs. In: Proceedings of the 2nd ACM SIGSOFT Symposium on Foundations of Software Engineering, pp. 62\u201375. ACM, New York (1994)"},{"key":"11_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/978-3-642-15769-1_16","volume-title":"Static Analysis","author":"A. Farzan","year":"2011","unstructured":"Farzan, A., Kincaid, Z.: Compositional Bitvector Analysis for Concurrent Programs with Nested Locks. In: Cousot, R., Martel, M. (eds.) SAS 2011. LNCS, vol.\u00a06337, pp. 253\u2013270. Springer, Heidelberg (2011)"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/3-540-45927-8_19","volume-title":"Programming Languages and Systems","author":"C. Flanagan","year":"2002","unstructured":"Flanagan, C., Freund, S., Qadeer, S.: Thread-Modular Verification for Shared-Memory Programs. In: Le M\u00e9tayer, D. (ed.) ESOP 2002. LNCS, vol.\u00a02305, pp. 262\u2013277. Springer, Heidelberg (2002)"},{"key":"11_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"624","DOI":"10.1007\/3-540-44829-2_14","volume-title":"Model Checking Software","author":"C. Flanagan","year":"2003","unstructured":"Flanagan, C., Qadeer, S.: Thread-Modular Model Checking. In: Ball, T., Rajamani, S.K. (eds.) SPIN 2003. LNCS, vol.\u00a02648, p. 624. Springer, Heidelberg (2003)"},{"key":"11_CR10","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1145\/1250734.1250765","volume-title":"Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"A. Gotsman","year":"2007","unstructured":"Gotsman, A., Berdine, J., Cook, B., Sagiv, M.: Thread-Modular Shape Analysis. In: Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 266\u2013277. ACM, New York (2007)"},{"key":"11_CR11","first-page":"159","volume-title":"Proceedings of the 4th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","author":"D. Grunwald","year":"1993","unstructured":"Grunwald, D., Srinivasan, H.: Data Flow Equations for Explicitly Parallel Programs. In: Proceedings of the 4th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp. 159\u2013168. ACM, New York (1993)"},{"key":"11_CR12","unstructured":"JSR-133 Expert Group: JSR-133: Java Memory Model and Thread Specification (August 2004), http:\/\/www.cs.umd.edu\/~pugh\/java\/memoryModel\/jsr133.pdf"},{"key":"11_CR13","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/BF00290339","volume":"7","author":"J.B. Kam","year":"1977","unstructured":"Kam, J.B., Ullman, J.D.: Monotone Data Flow Analysis Frameworks. Acta Inf.\u00a07, 305\u2013317 (1977)","journal-title":"Acta Inf."},{"key":"11_CR14","first-page":"194","volume-title":"Proceedings of the 1st ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages","author":"G.A. Kildall","year":"1973","unstructured":"Kildall, G.A.: A Unified Approach to Global Program Optimization. In: Proceedings of the 1st ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pp. 194\u2013206. ACM, New York (1973)"},{"issue":"3","key":"11_CR15","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1145\/229542.229545","volume":"18","author":"J. Knoop","year":"1996","unstructured":"Knoop, J., Steffen, B., Vollmer, J.: Parallelism for Free: Efficient and Optimal Bitvector Analyses for Parallel Programs. ACM Trans. Program. Lang. Syst.\u00a018(3), 268\u2013299 (1996)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"11_CR16","first-page":"1","volume-title":"Proceedings of the 7th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","author":"J. Lee","year":"1999","unstructured":"Lee, J., Padua, D.A., Midkiff, S.P.: Basic Compiler Algorithms for Parallel Programs. In: Proceedings of the 7th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp. 1\u201312. ACM, New York (1999)"},{"key":"11_CR17","unstructured":"Lhot\u00e1k, O.: Spark: A Flexible Points-to Analysis Framework for Java. Master\u2019s thesis, McGill University (December 2002)"},{"key":"11_CR18","unstructured":"LLVM Project. The LLVM Compiler Infrastructure, http:\/\/llvm.org\/"},{"key":"11_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1007\/978-3-642-15769-1_22","volume-title":"Static Analysis","author":"A. Malkis","year":"2010","unstructured":"Malkis, A., Podelski, A., Rybalchenko, A.: Thread-Modular Counterexample-Guided Abstraction Refinement. In: Cousot, R., Martel, M. (eds.) SAS 2010. LNCS, vol.\u00a06337, pp. 356\u2013372. Springer, Heidelberg (2010)"},{"key":"11_CR20","doi-asserted-by":"crossref","first-page":"378","DOI":"10.1145\/1040305.1040336","volume-title":"Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"J. Manson","year":"2005","unstructured":"Manson, J., Pugh, W., Adve, S.V.: The Java Memory Model. In: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 378\u2013391. ACM, New York (2005)"},{"key":"11_CR21","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1145\/1250734.1250785","volume-title":"Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"M. Musuvathi","year":"2007","unstructured":"Musuvathi, M., Qadeer, S.: Iterative Context Bounding for Systematic Testing of Multithreaded Programs. In: Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 446\u2013455. ACM, New York (2007)"},{"key":"11_CR22","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1145\/1133981.1134018","volume-title":"Proceedings of the 2006 ACM SIGPLAN conference on Programming Language Design and Implementation","author":"M. Naik","year":"2006","unstructured":"Naik, M., Aiken, A., Whaley, J.: Effective Static Race Detection for Java. In: Proceedings of the 2006 ACM SIGPLAN conference on Programming Language Design and Implementation, pp. 308\u2013319. ACM, New York (2006)"},{"key":"11_CR23","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1145\/301618.301645","volume-title":"Proceedings of the ACM SIGPLAN 1999 Conference on Programming Language Design and Implementation","author":"R. Rugina","year":"1999","unstructured":"Rugina, R., Rinard, M.: Pointer Analysis for Multithreaded Programs. In: Proceedings of the ACM SIGPLAN 1999 Conference on Programming Language Design and Implementation, pp. 77\u201390. ACM, New York (1999)"},{"key":"11_CR24","unstructured":"Sevcik, J.: Program Transformations in Weak Memory Models. Ph.D. thesis, University of Edinburgh (2008)"},{"key":"11_CR25","first-page":"189","volume-title":"Two Approaches to Interprocedural Data Flow Analysis","author":"M. Sharir","year":"1981","unstructured":"Sharir, M., Pnueli, A.: Two Approaches to Interprocedural Data Flow Analysis, ch.\u00a07, pp. 189\u2013234. Prentice-Hall, Englewood Cliffs (1981)"},{"key":"11_CR26","unstructured":"Valle-Rai, R.: Soot: A Java Bytecode Optimization Framework. Master\u2019s thesis, McGill University (July 2000)"},{"key":"11_CR27","first-page":"3","volume-title":"Proceedings of the 15th IEEE International Conference on Automated Software Engineering","author":"W. Visser","year":"2000","unstructured":"Visser, W., Havelund, K., Brat, G., Park, S.: Model Checking Programs. In: Proceedings of the 15th IEEE International Conference on Automated Software Engineering, p. 3. IEEE Computer Society, Washington, DC (2000)"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-19718-5_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,20]],"date-time":"2021-11-20T03:50:51Z","timestamp":1637380251000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-19718-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642197178","9783642197185"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-19718-5_11","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-3-642-19718-5","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}