{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:02:08Z","timestamp":1740096128814,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642195945"},{"type":"electronic","value":"9783642195952"}],"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-19595-2_3","type":"book-chapter","created":{"date-parts":[[2011,2,24]],"date-time":"2011-02-24T02:17:18Z","timestamp":1298513838000},"page":"31-45","source":"Crossref","is-referenced-by-count":6,"title":["Lowering STM Overhead with Static Analysis"],"prefix":"10.1007","author":[{"given":"Yehuda","family":"Afek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guy","family":"Korland","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arie","family":"Zilberstein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"http:\/\/demsky.eecs.uci.edu\/software.php"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/1133981.1133985","volume-title":"PLDI 2006: Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"A.-R. Adl-Tabatabai","year":"2006","unstructured":"Adl-Tabatabai, A.-R., Lewis, B.T., Menon, V., Murphy, B.R., Saha, B., Shpeisman, T.: Compiler and runtime support for efficient software transactional memory. In: PLDI 2006: Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 26\u201337. ACM, New York (2006) ISBN 1-59593-320-4, doi \n                  \n                    http:\/\/doi.acm.org\/10.1145\/1133981.1133985"},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1145\/1178597.1178610","volume-title":"MSPC 2006: Proceedings of the 2006 Workshop on Memory System Performance and Correctness","author":"K. Agrawal","year":"2006","unstructured":"Agrawal, K., Leiserson, C.E., Sukha, J.: Memory models for open-nested transactions. In: MSPC 2006: Proceedings of the 2006 Workshop on Memory System Performance and Correctness, pp. 70\u201381. ACM, New York (2006) ISBN 1-59593-578-9, doi \n                  \n                    http:\/\/doi.acm.org\/10.1145\/1178597.1178610"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Barik, R., Sarkar, V.: Interprocedural load elimination for dynamic optimization of parallel programs. In: PaCT 2009, pp. 41\u201352. IEEE Computer Society, Los Alamitos (2009) ISBN 978-0-7695-3771-9, doi \n                  \n                    http:\/\/dx.doi.org\/10.1109\/PACT.2009.32","DOI":"10.1109\/PACT.2009.32"},{"key":"3_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1562154.1562156","volume-title":"IWACO 2009: International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming","author":"N.E. Beckman","year":"2009","unstructured":"Beckman, N.E., Kim, Y.P., Stork, S., Aldrich, J.: Reducing STM overhead with access permissions. In: IWACO 2009: International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming, pp. 1\u201310. ACM, New York (2009) ISBN 978-1-60558-546-8, doi \n                  \n                    http:\/\/doi.acm.org\/10.1145\/1562154.1562156"},{"key":"3_CR6","unstructured":"Bruneton, E., Lenglet, R., Coupaye, T.: ASM: A code manipulation tool to implement adaptable systems. In: Adaptable and Extensible Component Systems (2002)"},{"key":"3_CR7","unstructured":"Cao Minh, C., Chung, J., Kozyrakis, C., Olukotun, K.: STAMP: Stanford transactional applications for multi-processing. In: IISWC 2008: Proceedings of The IEEE International Symposium on Workload Characterization (September 2008)"},{"issue":"11","key":"3_CR8","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/1400214.1400228","volume":"51","author":"C. Cascaval","year":"2008","unstructured":"Cascaval, C., Blundell, C., Michael, M., Cain, H.W., Wu, P., Chiras, S., Chatterjee, S.: Software transactional memory: why is it only a research toy? Commun. ACM\u00a051(11), 40\u201346 (2008) ISSN 0001-0782, doi \n                  \n                    http:\/\/doi.acm.org\/10.1145\/1400214.1400228","journal-title":"ACM"},{"key":"3_CR9","unstructured":"Demsky, B., Dash, A.: Evaluating contention management using discrete event simulation. In: Fifth ACM SIGPLAN Workshop on Transactional Computing (April 2010)"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/11864219_14","volume-title":"Distributed Computing","author":"D. Dice","year":"2006","unstructured":"Dice, D., Shalev, O., Shavit, N.: Transactional locking II. In: Dolev, S. (ed.) DISC 2006. LNCS, vol.\u00a04167, pp. 194\u2013208. Springer, Heidelberg (2006)"},{"key":"3_CR11","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1145\/1583991.1584049","volume-title":"SPAA 2009: Proceedings of the Twenty-first Annual Symposium on Parallelism in Algorithms and Architectures","author":"A. Dragojevic","year":"2009","unstructured":"Dragojevic, A., Ni, Y., Adl-Tabatabai, A.-R.: Optimizing transactions for captured memory. In: SPAA 2009: Proceedings of the Twenty-first Annual Symposium on Parallelism in Algorithms and Architectures, pp. 214\u2013222. ACM, New York (2009) ISBN 978-1-60558-606-9, doi \n                  \n                    http:\/\/doi.acm.org\/10.1145\/1583991.1584049"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/978-3-540-77115-9_22","volume-title":"Distributed Computing and Internet Technology","author":"G. Eddon","year":"2007","unstructured":"Eddon, G., Herlihy, M.: Language support and compiler optimizations for STM and transactional boosting. In: Janowski, T., Mohanty, H. (eds.) ICDCIT 2007. LNCS, vol.\u00a04882, pp. 209\u2013224. Springer, Heidelberg (2007)"},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/978-3-540-45099-3_9","volume-title":"Static Analysis","author":"S.J. Fink","year":"2000","unstructured":"Fink, S.J., Knobe, K., Sarkar, V.: Unified analysis of array and object references in strongly typed languages. In: SAS 2000. LNCS, vol.\u00a01824, pp. 155\u2013174. Springer, Heidelberg (2000) ISBN 3-540-67668-6"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Harris, T., Plesko, M., Shinnar, A., Tarditi, D.: Optimizing memory transactions. In: Conference on Programming Language Design and Implementation. ACM SIGPLAN, pp. 14\u201325 (June 2006)","DOI":"10.1145\/1133255.1133984"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Herlihy, M., Eliot, J., Moss, B.: Transactional memory: Architectural support for lock-free data structures. In: Proceedings of the 20th Annual International Symposium on Computer Architecture, pp. 289\u2013300 (1993)","DOI":"10.1145\/173682.165164"},{"key":"3_CR16","first-page":"138","volume-title":"Proceedings of the Workshop on Object-Oriented Technology","author":"A.L. Hosking","year":"1999","unstructured":"Hosking, A.L., Nystrom, N., Whitlock, D., Cutts, Q.I., Diwan, A.: Partial redundancy elimination for access path expressions. In: Proceedings of the Workshop on Object-Oriented Technology, London, UK, pp. 138\u2013141. Springer, Heidelberg (1999) ISBN 3-540-66954-X"},{"key":"3_CR17","volume-title":"Optimizing compilers for modern architectures: a dependence-based approach","author":"K. Kennedy","year":"2002","unstructured":"Kennedy, K., Allen, J.R.: Optimizing compilers for modern architectures: a dependence-based approach. Morgan Kaufmann Publishers Inc., San Francisco (2002) ISBN 1-55860-286-0"},{"issue":"7","key":"3_CR18","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1145\/143103.143136","volume":"27","author":"J. Knoop","year":"1992","unstructured":"Knoop, J., R\u00fcthing, O., Steffen, B.: Lazy code motion. SIGPLAN Not.\u00a027(7), 224\u2013234 (1992) ISSN 0362-1340, doi \n                  \n                    http:\/\/doi.acm.org\/10.1145\/143103.143136","journal-title":"SIGPLAN Not."},{"key":"3_CR19","unstructured":"Korland, G., Shavit, N., Felber, P.: Noninvasive concurrency with Java STM. In: MultiProg 2010: Programmability Issues for Heterogeneous Multicores (January 2010), \n                  \n                    http:\/\/www.deucestm.org\/"},{"key":"3_CR20","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1145\/258915.258943","volume-title":"PLDI 1997: Proceedings of the ACM SIGPLAN 1997 Conference on Programming Language Design and Implementation","author":"J. Lu","year":"1997","unstructured":"Lu, J., Cooper, K.D.: Register promotion in C programs. In: PLDI 1997: Proceedings of the ACM SIGPLAN 1997 Conference on Programming Language Design and Implementation, pp. 308\u2013319. ACM, New York (1997) ISBN 0-89791-907-6, doi \n                  \n                    http:\/\/doi.acm.org\/10.1145\/258915.258943"},{"issue":"2","key":"3_CR21","first-page":"17","volume":"5","author":"M. Martin","year":"2006","unstructured":"Martin, M., Blundell, C., Lewis, E.: Subtleties of transactional memory atomicity semantics. IEEE Comput. Archit. Lett.\u00a05(2), 17 (2006) ISSN 1556-6056, doi \n                  \n                    http:\/\/dx.doi.org\/10.1109\/L-CA.2006.18","journal-title":"IEEE Comput. Archit. Lett."},{"issue":"2","key":"3_CR22","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1145\/359060.359069","volume":"22","author":"E. Morel","year":"1979","unstructured":"Morel, E., Renvoise, C.: Global optimization by suppression of partial redundancies. Commun. ACM\u00a022(2), 96\u2013103 (1979) ISSN 0001-0782, doi \n                  \n                    http:\/\/doi.acm.org\/10.1145\/359060.359069","journal-title":"Commun. ACM"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Ni, Y., Welc, A., Adl-Tabatabai, A.-R., Bach, M., Berkowits, S., Cownie, J., Geva, R., Kozhukow, S., Narayanaswamy, R., Olivier, J., Preis, S., Saha, B., Tal, A., Tian, X.: Design and implementation of transactional constructs for C\/C++. In: OOPSLA 2008: Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, pp. 195\u2013212 (2008)","DOI":"10.1145\/1449764.1449780"},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"Shavit, N., Touitou, D.: Software transactional memory. In: Proc. of the 12th Annual ACM Symposium on Principles of Distributed Computing (PODC), pp. 204\u2013213 (1995)","DOI":"10.1145\/224964.224987"},{"issue":"6","key":"3_CR25","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1145\/1273442.1250744","volume":"42","author":"T. Shpeisman","year":"2007","unstructured":"Shpeisman, T., Menon, V., Adl-Tabatabai, A.-R., Balensiefer, S., Grossman, D., Hudson, R.L., Moore, K.F., Saha, B.: Enforcing isolation and ordering in stm. SIGPLAN Not.\u00a042(6), 78\u201388 (2007) ISSN 0362-1340, doi \n                  \n                    http:\/\/doi.acm.org\/10.1145\/1273442.1250744","journal-title":"SIGPLAN Not."},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"So, B., Hall, M.W.: Increasing the applicability of scalar replacement. In: CC, pp. 185\u2013201 (2004)","DOI":"10.1007\/978-3-540-24723-4_13"},{"key":"3_CR27","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1109\/CGO.2009.30","volume-title":"CGO 2009: Proceedings of the 7th Annual IEEE\/ACM International Symposium on Code Generation and Optimization","author":"M.F. Spear","year":"2009","unstructured":"Spear, M.F., Michael, M.M., Scott, M.L., Wu, P.: Reducing memory ordering overheads in software transactional memory. In: CGO 2009: Proceedings of the 7th Annual IEEE\/ACM International Symposium on Code Generation and Optimization, Washington, DC, USA, pp. 13\u201324. IEEE Computer Society, Los Alamitos (2009) ISBN 978-0-7695-3576-0, doi \n                  \n                    http:\/\/dx.doi.org\/10.1109\/CGO.2009.30"},{"key":"3_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/978-3-540-24644-2_25","volume-title":"Languages and Compilers for Parallel Computing","author":"C. Praun von","year":"2004","unstructured":"von Praun, C., Schneider, F., Gross, T.R.: Load elimination in the presence of side effects, concurrency and precise exceptions. In: Rauchwerger, L. (ed.) LCPC 2003. LNCS, vol.\u00a02958, pp. 390\u2013405. Springer, Heidelberg (2004)"},{"key":"3_CR29","first-page":"34","volume-title":"CGO 2007: Proceedings of the International Symposium on Code Generation and Optimization","author":"C. Wang","year":"2007","unstructured":"Wang, C., Chen, W.-Y., Wu, Y., Saha, B., Adl-Tabatabai, A.-R.: Code generation and optimization for transactional memory constructs in an unmanaged language. In: CGO 2007: Proceedings of the International Symposium on Code Generation and Optimization, Washington, DC, USA, pp. 34\u201348. IEEE Computer Society, Los Alamitos (2007) ISBN 0-7695-2764-7, doi \n                  \n                    http:\/\/dx.doi.org\/10.1109\/CGO.2007.4"}],"container-title":["Lecture Notes in Computer Science","Languages and Compilers for Parallel Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-19595-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T04:54:27Z","timestamp":1558414467000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-19595-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642195945","9783642195952"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-19595-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}