{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T03:33:18Z","timestamp":1725679998891},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642298592"},{"type":"electronic","value":"9783642298608"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29860-8_13","type":"book-chapter","created":{"date-parts":[[2012,5,11]],"date-time":"2012-05-11T13:38:03Z","timestamp":1336743483000},"page":"161-176","source":"Crossref","is-referenced-by-count":9,"title":["Marathon: Detecting Atomic-Set Serializability Violations with Conflict Graphs"],"prefix":"10.1007","author":[{"given":"William N.","family":"Sumner","sequence":"first","affiliation":[]},{"given":"Christian","family":"Hammer","sequence":"additional","affiliation":[]},{"given":"Julian","family":"Dolby","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"13_CR1","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1002\/stvr.281","volume":"13","author":"C. Artho","year":"2003","unstructured":"Artho, C., Havelund, K., Biere, A.: High-level data races. Journal on Software Testing, Verification and Reliability (STVR)\u00a013(4), 207\u2013227 (2003)","journal-title":"Journal on Software Testing, Verification and Reliability (STVR)"},{"key":"13_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/978-3-540-30476-0_16","volume-title":"Automated Technology for Verification and Analysis","author":"C. Artho","year":"2004","unstructured":"Artho, C., Havelund, K., Biere, A.: Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors. In: Wang, F. (ed.) ATVA 2004. LNCS, vol.\u00a03299, pp. 150\u2013164. Springer, Heidelberg (2004)"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Ben-Asher, Y., Eytani, Y., Farchi, E., Ur, S.: Noise makers need to know where to be silent - producing schedules that find bugs. In: ISOLA 2006 (2006)","DOI":"10.1109\/ISoLA.2006.18"},{"key":"13_CR4","unstructured":"Bernstein, P., Hadzilacos, V., Goodman, N.: Concurrency Control and Recovery in Database Systems. Addison-Wesley (1987)"},{"issue":"2","key":"13_CR5","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1145\/356842.356846","volume":"13","author":"P.A. Bernstein","year":"1981","unstructured":"Bernstein, P.A., Goodman, N.: Concurrency Control in Distributed Database Systems. ACM Comput. Surv.\u00a013(2), 185\u2013221 (1981)","journal-title":"ACM Comput. Surv."},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Burnim, J., Necula, G., Sen, K.: Specifying and checking semantic atomicity for multithreaded programs. In: ASPLOS 2011 (2011)","DOI":"10.1145\/1950365.1950377"},{"issue":"12","key":"13_CR7","doi-asserted-by":"publisher","first-page":"1161","DOI":"10.1002\/cpe.866","volume":"16","author":"M. Burrows","year":"2004","unstructured":"Burrows, M., Leino, K.R.M.: Finding stale-value errors in concurrent programs. Concurrency and Computation: Practice and Experience\u00a016(12), 1161\u20131172 (2004)","journal-title":"Concurrency and Computation: Practice and Experience"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Chen, Q., Wang, L.: An Integrated Framework for Checking Concurrency-Related Programming Errors. In: COMPSAC 2009 (2009)","DOI":"10.1109\/COMPSAC.2009.105"},{"key":"13_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/978-3-642-00593-0_30","volume-title":"Fundamental Approaches to Software Engineering","author":"Q. Chen","year":"2009","unstructured":"Chen, Q., Wang, L., Yang, Z., Stoller, S.D.: HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis. In: Chechik, M., Wirsing, M. (eds.) FASE 2009. LNCS, vol.\u00a05503, pp. 425\u2013439. Springer, Heidelberg (2009)"},{"key":"13_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/3-540-45337-7_4","volume-title":"ECOOP 2001 - Object-Oriented Programming","author":"D.G. Clarke","year":"2001","unstructured":"Clarke, D.G., Noble, J., Potter, J.M.: Simple Ownership Types for Object Containment. In: Lee, S.H. (ed.) ECOOP 2001. LNCS, vol.\u00a02072, pp. 53\u201376. Springer, Heidelberg (2001)"},{"key":"13_CR11","unstructured":"Eytani, Y., Ur, S.: Compiling a benchmark of documented multi-threaded bugs. In: IPDPS 2004 (2004)"},{"key":"13_CR12","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":"13_CR13","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Freund, S.N.: Atomizer: a dynamic atomicity checker for multithreaded programs. In: POPL 2004 (2004)","DOI":"10.1145\/964001.964023"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Freund, S.N., Yi, J.: Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs. In: PLDI 2008 (2008)","DOI":"10.1145\/1375581.1375618"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Fle, M.P., Roucairol, G.: On serializability of iterated transactions. In: PODC 1982 (1982)","DOI":"10.1145\/800220.806697"},{"issue":"3","key":"13_CR16","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1002\/spe.4380160304","volume":"16","author":"J. Gait","year":"1986","unstructured":"Gait, J.: A probe effect in concurrent programs. Software: Practice and Experience\u00a016(3), 225\u2013233 (1986)","journal-title":"Software: Practice and Experience"},{"key":"13_CR17","unstructured":"Goetz, B., Peierls, T., Bloch, J., Bowbeer, J., Holmes, D., Lea, D.: Java Concurrency in Practice. Addison Wesley Professional (May 2006)"},{"key":"13_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1007\/978-3-540-70575-8_35","volume-title":"Automata, Languages and Programming","author":"B. Haeupler","year":"2008","unstructured":"Haeupler, B., Kavitha, T., Mathew, R., Sen, S., Tarjan, R.E.: Faster Algorithms for Incremental Topological Ordering. In: Aceto, L., Damg\u00e5rd, I., Goldberg, L.A., Halld\u00f3rsson, M.M., Ing\u00f3lfsd\u00f3ttir, A., Walukiewicz, I. (eds.) ICALP 2008, Part I. LNCS, vol.\u00a05125, pp. 421\u2013433. Springer, Heidelberg (2008)"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Hammer, C., Dolby, J., Vaziri, M., Tip, F.: Dynamic detection of atomic-set-serializability violations. In: ICSE 2008 (2008)","DOI":"10.1145\/1368088.1368120"},{"key":"13_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"434","DOI":"10.1007\/978-3-642-14295-6_39","volume-title":"Computer Aided Verification","author":"V. Kahlon","year":"2010","unstructured":"Kahlon, V., Wang, C.: Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol.\u00a06174, pp. 434\u2013449. Springer, Heidelberg (2010)"},{"key":"13_CR21","doi-asserted-by":"crossref","unstructured":"Lai, Z., Cheung, S.C., Chan, W.K.: Detecting atomic-set serializability violations in multithreaded programs through active randomized testing. In: ICSE 2010 (2010)","DOI":"10.1145\/1806799.1806836"},{"issue":"12","key":"13_CR22","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1145\/361227.361234","volume":"18","author":"R.J. Lipton","year":"1975","unstructured":"Lipton, R.J.: Reduction: a method of proving properties of parallel programs. Commun. ACM\u00a018(12), 717\u2013721 (1975)","journal-title":"Commun. ACM"},{"key":"13_CR23","doi-asserted-by":"crossref","unstructured":"Lu, S., Tucek, J., Qin, F., Zhou, Y.: AVIO: Detecting Atomicity Violations via Access Interleaving Invariants. In: ASPLOS 2006 (2006)","DOI":"10.1145\/1168857.1168864"},{"key":"13_CR24","doi-asserted-by":"crossref","unstructured":"Martin, J.P., Hicks, M., Costa, M., Akritidis, P., Castro, M.: Dynamically checking ownership policies in concurrent C\/C++ programs. In: POPL 2010 (2010)","DOI":"10.1145\/1706299.1706351"},{"key":"13_CR25","doi-asserted-by":"crossref","unstructured":"Min, S.L., Choi, J.D.: An efficient cache-based access anomaly detection scheme. In: ASPLOS 1991 (1991)","DOI":"10.1145\/106972.106996"},{"key":"13_CR26","doi-asserted-by":"crossref","unstructured":"Narayanasamy, S., Wang, Z., Tigani, J., Edwards, A., Calder, B.: Automatically classifying benign and harmful data races using replay analysis. In: PLDI 2007 (2007)","DOI":"10.1145\/1250734.1250738"},{"key":"13_CR27","doi-asserted-by":"crossref","unstructured":"O\u2019Callahan, R., Choi, J.D.: Hybrid dynamic data race detection. In: PPoPP 2003 (2003)","DOI":"10.1145\/781527.781528"},{"key":"13_CR28","volume-title":"The theory of database concurrency control","author":"C. Papadimitriou","year":"1986","unstructured":"Papadimitriou, C.: The theory of database concurrency control. Computer Science Press, Inc., New York (1986)"},{"key":"13_CR29","doi-asserted-by":"crossref","unstructured":"Park, C., Sen, K.: Randomized active atomicity violation detection in concurrent programs. In: FSE 2008 (2008)","DOI":"10.1145\/1453101.1453121"},{"key":"13_CR30","doi-asserted-by":"crossref","unstructured":"Park, S., Vuduc, R.W., Harrold, M.J.: Falcon: fault localization in concurrent programs. In: ICSE 2010 (2010)","DOI":"10.1145\/1806799.1806838"},{"key":"13_CR31","doi-asserted-by":"crossref","unstructured":"Park, S., Lu, S., Zhou, Y.: CTrigger: exposing atomicity violation bugs from their hiding places. In: ASPLOS 2009 (2009)","DOI":"10.1145\/1508244.1508249"},{"key":"13_CR32","doi-asserted-by":"crossref","unstructured":"von Praun, C., Gross, T.R.: Object race detection. In: OOPSLA 2001 (2001)","DOI":"10.1145\/504282.504288"},{"issue":"6","key":"13_CR33","doi-asserted-by":"publisher","first-page":"103","DOI":"10.5381\/jot.2004.3.6.a5","volume":"3","author":"C. Praun von","year":"2004","unstructured":"von Praun, C., Gross, T.R.: Atomicity Violations in Object-Oriented Programs. Journal of Object Technology\u00a03(6), 103\u2013122 (2004)","journal-title":"Journal of Object Technology"},{"issue":"4","key":"13_CR34","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.: Eraser: a dynamic data race detector for multithreaded programs. ACM Trans. Comput. Syst.\u00a015(4), 391\u2013411 (1997)","journal-title":"ACM Trans. Comput. Syst."},{"key":"13_CR35","doi-asserted-by":"crossref","unstructured":"Sumner, W.N., Zheng, Y., Weeratunge, D., Zhang, X.: Precise calling context encoding. In: ICSE 2010 (2010)","DOI":"10.1145\/1806799.1806875"},{"key":"13_CR36","doi-asserted-by":"crossref","unstructured":"Vaziri, M., Tip, F., Dolby, J.: Associating synchronization constraints with data in an object-oriented language. In: POPL 2006 (2006)","DOI":"10.1145\/1111037.1111067"},{"key":"13_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1007\/978-3-642-14107-2_15","volume-title":"ECOOP 2010 \u2013 Object-Oriented Programming","author":"M. Vaziri","year":"2010","unstructured":"Vaziri, M., Tip, F., Dolby, J., Hammer, C., Vitek, J.: A Type System for Data-Centric Synchronization. In: D\u2019Hondt, T. (ed.) ECOOP 2010. LNCS, vol.\u00a06183, pp. 304\u2013328. Springer, Heidelberg (2010)"},{"key":"13_CR38","doi-asserted-by":"crossref","unstructured":"Wang, L., Stoller, S.D.: Accurate and Efficient Runtime Detection of Atomicity Errors in Concurrent Programs. In: PPoPP 2006 (2006)","DOI":"10.1145\/1122971.1122993"},{"issue":"2","key":"13_CR39","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 Multithreaded Programs. IEEE Transactions on Software Engineering\u00a032(2), 93\u2013110 (2006)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"13_CR40","doi-asserted-by":"crossref","unstructured":"Xu, M., Bod\u00edk, R., Hill, M.D.: A serializability violation detector for shared-memory server programs. In: PLDI 2005 (2005)","DOI":"10.1145\/1065010.1065013"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29860-8_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:18:58Z","timestamp":1620127138000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29860-8_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642298592","9783642298608"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29860-8_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}