{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,24]],"date-time":"2025-11-24T07:06:16Z","timestamp":1763967976621,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540897392"},{"type":"electronic","value":"9783540897408"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-89740-8_11","type":"book-chapter","created":{"date-parts":[[2008,11,27]],"date-time":"2008-11-27T08:14:24Z","timestamp":1227773664000},"page":"156-171","source":"Crossref","is-referenced-by-count":12,"title":["Set-Congruence Dynamic Analysis for Thread-Level Speculation (TLS)"],"prefix":"10.1007","author":[{"given":"Cosmin E.","family":"Oancea","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan","family":"Mycroft","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","volume-title":"SPAA 2002 Proceedings","author":"A. Bhowmik","year":"2002","unstructured":"Bhowmik, A., Franklin, M.: A General Compiler Framework for Speculative Multithreading. In: SPAA 2002 Proceedings. ACM, New York (2002)"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Chen, M.K., Olukotun, K.: The Jrpm System for Dynamically Parallelizing Java Programs. In: ISCA-30 (June 2003)","DOI":"10.1145\/859618.859668"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Chilimbi, T.M., Davidson, B., Larus, J.R.: Cache-Conscious Structure Definition. In: PLDI 1999 (1999)","DOI":"10.1145\/301618.301635"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Chilimbi, T.M., Larus, J.R.: Using Generational Garbage Collection to Implement Cache-Conscious Data Placement. In: ISMM (1998)","DOI":"10.1145\/286860.286865"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Cintra, M., Llanos, D.R.: Toward Efficient and Robust Software Speculative Parallelization on Multiprocessors. In: PPoPP 2003, San Diego, California (June 2003)","DOI":"10.1145\/781498.781501"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Dang, F., Yu, H., Rauchwerger, L.: The R-LRPD Test: Speculative Parallelization of Partially Parallel Loops. In: IPDPS (2002)","DOI":"10.1109\/IPDPS.2002.1015493"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Dou, J., Cintra, M.: A Compiler Cost Model for Speculative Parallelization. ACM TACO\u00a04(2) (June 2007)","DOI":"10.1145\/1250727.1250732"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Fraser, K., Harris, T.: Concurrent Programming Without Locks. In: TOCS (2007)","DOI":"10.1145\/1233307.1233309"},{"key":"11_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"CAAP 1991 and TAPSOFT 1991","author":"P. Granger","year":"1991","unstructured":"Granger, P.: Static Analysis of Linear Congruence Equalities among Variables of a Program. In: Abramsky, S. (ed.) CAAP 1991 and TAPSOFT 1991. LNCS, vol.\u00a0493. Springer, Heidelberg (1991)"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Hammond, L., Willey, M., Olukotun, K.: Data Speculation Support for Chip Multiprocessor. In: ASPLOS (1998)","DOI":"10.21236\/ADA419653"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Kim, S., Ooi, C., Eigenmann, R., Falsafi, B., Vijaykumar, T.: Reference Idempotency Analysis: A Framework for Optimizing Speculative Execution. In: PPOPP 2001 (2001)","DOI":"10.1145\/379539.379547"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Liu, W., Tuck, J., Ceze, L., Ahn, W., Strauss, K., Renau, J., Torrellas, J.: POSH: A TLS Compiler that Exploits Program Structure. In: PPoPP 2006 (2006)","DOI":"10.1145\/1122971.1122997"},{"key":"11_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"641","DOI":"10.1007\/978-3-540-74466-5_68","volume-title":"Euro-Par 2007 Parallel Processing","author":"A. Lokhmotov","year":"2007","unstructured":"Lokhmotov, A., Mycroft, A., Richards, A.: Delayed Side-Effects Ease Multi-Core Programming. In: Kermarrec, A.-M., Boug\u00e9, L., Priol, T. (eds.) Euro-Par 2007. LNCS, vol.\u00a04641, pp. 641\u2013650. Springer, Heidelberg (2007)"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Masdupuy, F.: Array Operations Abstraction Using Semantic Analysis of Trapezoid Congruences. In: ICS 1992 (1992)","DOI":"10.1145\/143369.143414"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Min\u00e9, A.: The Octogon Abstract Domain. Higher-Order and Symbolic Computation Journal\u00a019 (2006)","DOI":"10.1007\/s10990-006-8609-1"},{"key":"11_CR16","unstructured":"Oancea, C.E., Mycroft, A.: A Lightweight, In-Place Model for Software Thread-Level Speculation, email Cosmin.Oancea@cl.cam.ac.uk"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Oancea, C.E., Mycroft, A.: Software Thread-Level Speculation \u2013 An Optimistic Library Implementation. In: IWMSE (2008)","DOI":"10.1145\/1370082.1370090"},{"key":"11_CR18","unstructured":"Rundberg, P., Stenstr\u00f6m, P.: An All-Software Thread-Level Data Dependence Speculation System for Multiprocs. Journal of Instruction-Level Parallelism (1999)"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"Sazeides, Y., Smith, J.E.: The Predictability of Data Values. In: MICRO 30: 30th International Symposium on Microarchitecture, pp. 248\u2013258 (1997)","DOI":"10.1109\/MICRO.1997.645815"},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"Shpeisman, T., Menon, V., Adl-Tabatabai, A., Balensiefer, S., Grossman, S., Hudson, R., Moore, K., Saha, B.: Enforcing Isolation and Ordering in STM. In: PLDI 2007 (2007)","DOI":"10.1145\/1250734.1250744"},{"key":"11_CR21","doi-asserted-by":"crossref","unstructured":"Sohi, G.S., Breach, S.E., Vijaykumar, T.N.: Multiscalar Processors. In: ISCA-22, pp. 414\u2013425 (June 1995)","DOI":"10.1145\/223982.224451"},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"Steffan, J.G., Colohan, C.G., Zhai, A., Mowry, T.: A Scalable Approach for Thread Level Speculation. In: ISCA-27 (2000)","DOI":"10.1145\/339647.339650"},{"key":"11_CR23","doi-asserted-by":"crossref","unstructured":"Zhai, A., Colohan, C.B., Steffan, J.G., Mowry, T.C.: Compiler Optimization of Scalar Value Communication Between Speculative Threads. In: ASPLOS X (2002)","DOI":"10.1145\/605397.605416"},{"key":"11_CR24","volume-title":"Micro-35 Proceedings","author":"C. Zilles","year":"2002","unstructured":"Zilles, C., Sohi, G.: Master\/Slave Speculative Parallelization. In: Micro-35 Proceedings. ACM, New York (2002)"}],"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-540-89740-8_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T16:14:50Z","timestamp":1557936890000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89740-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540897392","9783540897408"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89740-8_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}