{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T09:55:07Z","timestamp":1725530107034},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642005923"},{"type":"electronic","value":"9783642005930"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-00593-0_30","type":"book-chapter","created":{"date-parts":[[2009,3,27]],"date-time":"2009-03-27T10:26:08Z","timestamp":1238149568000},"page":"425-439","source":"Crossref","is-referenced-by-count":32,"title":["HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis"],"prefix":"10.1007","author":[{"given":"Qichang","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Liqiang","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zijiang","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Scott D.","family":"Stoller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"30_CR1","doi-asserted-by":"crossref","unstructured":"Agarwal, R., Sasturkar, A., Wang, L., Stoller, S.D.: Optimized run-time race detection and atomicity checking using partial discovered types. In: Proc. 20th IEEE\/ACM International Conference on Automated Software Engineering (ASE) (November 2005)","DOI":"10.1145\/1101908.1101944"},{"key":"30_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/11678779_14","volume-title":"Hardware and Software, Verification and Testing","author":"R. Agarwal","year":"2006","unstructured":"Agarwal, R., Wang, L., Stoller, S.D.: Detecting potential deadlocks with static analysis and runtime monitoring. In: Ur, S., Bin, E., Wolfsthal, Y. (eds.) HVC 2005. LNCS, vol.\u00a03875, pp. 191\u2013207. Springer, Heidelberg (2006)"},{"key":"30_CR3","first-page":"221","volume-title":"Proc. 30th International Conference on Software Engineering (ICSE)","author":"F. Chen","year":"2008","unstructured":"Chen, F., Serbanuta, T.F., Rosu, G.: jPredictor: a predictive runtime analysis tool for Java. In: Proc. 30th International Conference on Software Engineering (ICSE), pp. 221\u2013230. ACM, New York (2008)"},{"key":"30_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-540-70545-1_8","volume-title":"Computer Aided Verification","author":"A. Farzan","year":"2008","unstructured":"Farzan, A., Madhusudan, P.: Monitoring atomicity in concurrent programs. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, vol.\u00a05123, pp. 52\u201365. Springer, Heidelberg (2008)"},{"key":"30_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/978-3-540-24732-6_18","volume-title":"Model Checking Software","author":"C. Flanagan","year":"2004","unstructured":"Flanagan, C.: Verifying commit-atomicity using model-checking. In: Graf, S., Mounier, L. (eds.) SPIN 2004. LNCS, vol.\u00a02989, pp. 252\u2013266. Springer, Heidelberg (2004)"},{"key":"30_CR6","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Freund, S.N.: Atomizer: A dynamic atomicity checker for multithreaded programs. In: Proc. ACM Symposium on Principles of Programming Languages (POPL), pp. 256\u2013267 (2004)","DOI":"10.1145\/964001.964023"},{"key":"30_CR7","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Freund, S.N., Qadeer, S.: Exploiting purity for atomicity 31(4) (April 2005)","DOI":"10.1109\/TSE.2005.47"},{"key":"30_CR8","volume-title":"Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation (PLDI)","author":"C. Flanagan","year":"2008","unstructured":"Flanagan, C., Freund, S.N., Yi, J.: Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs. In: Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation (PLDI). ACM, New York (2008)"},{"key":"30_CR9","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Qadeer, S.: A type and effect system for atomicity. In: Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (2003)","DOI":"10.1145\/781131.781169"},{"key":"30_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-540-24622-0_16","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"J. Hatcliff","year":"2004","unstructured":"Hatcliff, J., Robby, Dwyer, M.B.: Verifying atomicity specifications for concurrent object-oriented software using model-checking. In: Steffen, B., Levi, G. (eds.) VMCAI 2004. LNCS, vol.\u00a02937, pp. 175\u2013190. Springer, Heidelberg (2004)"},{"key":"30_CR11","unstructured":"Jigsaw, version 2.2.4, http:\/\/www.w3c.org"},{"key":"30_CR12","doi-asserted-by":"crossref","unstructured":"Lu, S., Tucek, J., Qin, F., Zhou, Y.: AVIO: detecting atomicity violations via access interleaving invariants. In: Twelfth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) (2006)","DOI":"10.1145\/1168857.1168864"},{"key":"30_CR13","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1145\/1453101.1453121","volume-title":"Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering (FSE)","author":"C.-S. Park","year":"2008","unstructured":"Park, C.-S., Sen, K.: Randomized active atomicity violation detection in concurrent programs. In: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering (FSE), pp. 135\u2013145. ACM, New York (2008)"},{"key":"30_CR14","doi-asserted-by":"crossref","unstructured":"Sasturkar, A., Agarwal, R., Wang, L., Stoller, S.D.: Automated type-based analysis of data races and atomicity. In: Proc. ACM SIGPLAN 2005 Symposium on Principles and Practice of Parallel Programming (PPoPP) (June 2005)","DOI":"10.1145\/1065944.1065956"},{"issue":"11","key":"30_CR15","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1145\/504311.504288","volume":"36","author":"C. Praun von","year":"2001","unstructured":"von Praun, C., Gross, T.R.: Object race detection. SIGPLAN Notices\u00a036(11), 70\u201382 (2001)","journal-title":"SIGPLAN Notices"},{"key":"30_CR16","doi-asserted-by":"crossref","unstructured":"von Praun, C., Gross, T.R.: Static detection of atomicity violations in object-oriented programs. Journal of Object Technology\u00a03(6) (June 2004)","DOI":"10.5381\/jot.2004.3.6.a5"},{"key":"30_CR17","doi-asserted-by":"crossref","unstructured":"Wang, L., Stoller, S.D.: Run-time analysis for atomicity. In: Third Workshop on Runtime Verification (RV 2003), vol.\u00a089(2) (2003)","DOI":"10.1016\/S1571-0661(04)81049-1"},{"key":"30_CR18","doi-asserted-by":"crossref","unstructured":"Wang, L., Stoller, S.D.: Static analysis of atomicity for programs with non-blocking synchronization. In: Proc. ACM SIGPLAN 2005 Symposium on Principles and Practice of Parallel Programming (PPoPP) (June 2005)","DOI":"10.1145\/1065944.1065953"},{"key":"30_CR19","volume-title":"Proc. ACM SIGPLAN 2006 Symposium on Principles and Practice of Parallel Programming (PPoPP)","author":"L. Wang","year":"2006","unstructured":"Wang, L., Stoller, S.D.: Accurate and efficient runtime detection of atomicity errors in concurrent programs. In: Proc. ACM SIGPLAN 2006 Symposium on Principles and Practice of Parallel Programming (PPoPP). ACM Press, New York (2006)"},{"issue":"2","key":"30_CR20","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1109\/TSE.2006.1599419","volume":"32","author":"L. Wang","year":"2006","unstructured":"Wang, L., Stoller, S.D.: Runtime analysis of atomicity for multi-threaded programs. Transactions on Software Engineering\u00a032(2), 93\u2013110 (2006)","journal-title":"Transactions on Software Engineering"},{"key":"30_CR21","doi-asserted-by":"crossref","unstructured":"Xu, M., Bodik, R., Hill, M.D.: A serializability violation detector for shared-memory server programs. In: Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (2005)","DOI":"10.1145\/1065010.1065013"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00593-0_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,3]],"date-time":"2021-10-03T17:43:27Z","timestamp":1633283007000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00593-0_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642005923","9783642005930"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00593-0_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}