{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:14:55Z","timestamp":1725455695885},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642370502"},{"type":"electronic","value":"9783642370519"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-37051-9_11","type":"book-chapter","created":{"date-parts":[[2013,2,18]],"date-time":"2013-02-18T14:35:47Z","timestamp":1361198147000},"page":"204-223","source":"Crossref","is-referenced-by-count":3,"title":["Compiler-Guided Identification of Critical Sections in Parallel Code"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Kempf","sequence":"first","affiliation":[]},{"given":"Ronald","family":"Veldema","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Philippsen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","volume-title":"Dependence Analysis","author":"U. Banerjee","year":"1997","unstructured":"Banerjee, U.: Dependence Analysis. Kluwer Academic Publishers, Norwell (1997)"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Bogda, J., H\u00f6lzle, U.: Removing unnecessary synchronization in java. In: OOPSLA 1999: Proc. ACM SIGPLAN Conf. on Object-Priented Programming, Systems, Languages, and Applications. Denver, Co., ACM (November 1999)","DOI":"10.1145\/320384.320388"},{"key":"11_CR3","unstructured":"Cao Minh, C., Chung, J., Kozyrakis, C., Olukotun, K.: STAMP: Stanford transactional applications for multi-processing. In: IISWC 2008: Proc. IEEE Intl. Symp. Workload Characterization, Seattle, WA, pp. 35\u201346 (September 2008)"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Ceze, L., Montesinos, P., von Praun, C., Torrellas, J.: Colorama: Architectural support for data-centric synchronization. In: HPCA 2007: Proc. IEEE Intl. Symp. High Performance Computer Architecture, Phoenix, AZ, pp. 133\u2013144 (February 2007)","DOI":"10.1109\/HPCA.2007.346192"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Dragojevi\u0107, A., Guerraoui, R., Kapalka, M.: Stretching transactional memory. In: PLDI 2009: Proc. ACM SIGPLAN Conf. Programming Lang. Design and Impl., Dublin, Ireland, pp. 155\u2013165 (June 2009)","DOI":"10.1145\/1542476.1542494"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Freund, S.N.: Fasttrack: efficient and precise dynamic race detection. In: PLDI 2009: Proc. ACM SIGPLAN Conf. on Programming Language Design and Implementation, Dublin, Ireland, pp. 121\u2013133 (June 2009)","DOI":"10.1145\/1542476.1542490"},{"key":"11_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1007\/978-3-642-31057-7_15","volume-title":"ECOOP 2012 \u2013 Object-Oriented Programming","author":"K. Gudka","year":"2012","unstructured":"Gudka, K., Harris, T., Eisenbach, S.: Lock Inference in the Presence of Large Libraries. In: Noble, J. (ed.) ECOOP 2012. LNCS, vol.\u00a07313, pp. 308\u2013332. Springer, Heidelberg (2012)"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Halpert, R.L., Pickett Christopher, J.F., Clark, V.: Component-based lock allocation. In: PACT 2007: Proc. 16th Intl. Conf. on Parallel Architecture and Compilation Techniques, Brasov, Romania, pp. 353\u2013364 (September 2007)","DOI":"10.1109\/PACT.2007.4336225"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Heintze, N., Tardieu, O.: Ultra-fast aliasing analysis using CLA: a million lines of C code in a second. In: PLDI 2001: Proc. ACM SIGPLAN Conf. on Programming Language Design and Implementation, Snowbird, UT, pp. 254\u2013263 (June 2001)","DOI":"10.1145\/381694.378855"},{"issue":"2","key":"11_CR10","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1145\/173682.165164","volume":"21","author":"M. Herlihy","year":"1993","unstructured":"Herlihy, M., Moss, J.E.B.: Transactional memory: architectural support for lock-free data structures. ACM SIGARCH Comput. Archit. News\u00a021(2), 289\u2013300 (1993)","journal-title":"ACM SIGARCH Comput. Archit. News"},{"key":"11_CR11","unstructured":"Jeremiassen, T., Eggers, S.J.: Static analysis of barrier synchronization in explicitly parallel programs. In: PACT 1994: Proc. IFIP WG 10.3 Working Conf. on Parallel Architectures and Compilation Techniques, pp. 171\u2013180 (August 1994)"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Johnson, R., Pearson, D., Pingali, K.: The program structure tree: Computing control regions in linear time. In: PLDI 1994: Proc. ACM SIGPLAN Conf. on Programming Language Design and Implementation, Orlando, FL, pp. 171\u2013185 (June 1994)","DOI":"10.1145\/773473.178258"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Lu, S., Park, S., Hu, C., Ma, X., Jiang, W., Li, Z., Popa, R.A., Zhou, Y.: MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs. In: SOSP 2007: Proc. ACM SIGOPS Symp. Operating Systems Principles, Stevenson, WA, pp. 103\u2013116 (October 2007)","DOI":"10.1145\/1323293.1294272"},{"key":"11_CR14","volume-title":"Advanced Compiler Design And Implementation","author":"S. Muchnick","year":"1997","unstructured":"Muchnick, S.: Advanced Compiler Design And Implementation. Morgan Kaufmann Publishers Inc., San Francisco (1997)"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Muzahid, A., Otsuki, N., Torrellas, J.: AtomTracker: A comprehensive approach to atomic region inference and violation detection. In: MICRO 43: Proc. 43rd Annual IEEE\/ACM Intl. Symp. Microarchitecture, Atlanta, GA, pp. 287\u2013297 (December 2010)","DOI":"10.1109\/MICRO.2010.32"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Naik, M., Aiken, A., Whaley, J.: Effective static race detection for java. In: PLDI 2006: Proc. ACM SIGPLAN Conf. on Programming Language Design and Implementation, Ottawa, ON, Canada, pp. 308\u2013319 (June 2006)","DOI":"10.1145\/1133981.1134018"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Salcianu, A., Rinard, M.: Pointer and escape analysis for multithreaded programs. In: PPoPP 2001: Proc. ACM SIGPLAN Symp. Principles and Practices of Parallel Programming, Snowbird, UT, pp. 12\u201323 (June 2001)","DOI":"10.1145\/568014.379553"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"Vaziri, M., Tip, F., Dolby, J.: Associating synchronization constraints with data in an object-oriented language. In: POPL 2006: Proc. ACM SIGPLAN-SIGACT Symp. Principles of Programming Languages, Charleston, SC, pp. 334\u2013345 (January 2006)","DOI":"10.1145\/1111320.1111067"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"Vechev, M., Yahav, E., Yorsh, G.: Abstraction-guided synthesis of synchronization. In: POPL 2010: Proc. ACM SIGPLAN-SIGACT Symp. Principles of Programming Languages, Madrid, Spain, pp. 327\u2013338 (January 2010)","DOI":"10.1145\/1707801.1706338"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37051-9_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T04:27:44Z","timestamp":1557548864000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-37051-9_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642370502","9783642370519"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37051-9_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}