{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:44:59Z","timestamp":1772163899740,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","license":[{"start":{"date-parts":[[2006,6,11]],"date-time":"2006-06-11T00:00:00Z","timestamp":1149984000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,6,11]]},"DOI":"10.1145\/1133981.1133983","type":"proceedings-article","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T12:53:01Z","timestamp":1153745581000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":97,"title":["The Atomos transactional programming language"],"prefix":"10.1145","author":[{"given":"Brian D.","family":"Carlstrom","sequence":"first","affiliation":[{"name":"Stanford University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Austen","family":"McDonald","sequence":"additional","affiliation":[{"name":"Stanford University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hassan","family":"Chafi","sequence":"additional","affiliation":[{"name":"Stanford University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"JaeWoong","family":"Chung","sequence":"additional","affiliation":[{"name":"Stanford University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chi Cao","family":"Minh","sequence":"additional","affiliation":[{"name":"Stanford University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christos","family":"Kozyrakis","sequence":"additional","affiliation":[{"name":"Stanford University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kunle","family":"Olukotun","sequence":"additional","affiliation":[{"name":"Stanford University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2006,6,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1133985"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/339647.339691"},{"key":"e_1_3_2_1_3_1","volume-title":"Sun Microsystems","author":"Allen E.","year":"2005","unstructured":"E. Allen , D. Chase , V. Luchangco , J.-W. Maessen , S. Ryu , G. L. S. Jr ., and S. Tobin-Hochstadt . The Fortress Language Specification . Sun Microsystems , 2005 . E. Allen, D. Chase, V. Luchangco, J.-W. Maessen, S. Ryu, G. L. S. Jr., and S. Tobin-Hochstadt. The Fortress Language Specification. Sun Microsystems, 2005."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.391.0211"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2005.41"},{"key":"e_1_3_2_1_6_1","volume-title":"Workshop on Duplicating, Deconstructing, and Debunking (WDDD)","author":"Blundell C.","year":"2005","unstructured":"C. Blundell , E. C. Lewis , and M. M. K. Martin . Deconstructing transactional semantics: The subtleties of atomicity . In Workshop on Duplicating, Deconstructing, and Debunking (WDDD) , June 2005 . C. Blundell, E. C. Lewis, and M. M. K. Martin. Deconstructing transactional semantics: The subtleties of atomicity. In Workshop on Duplicating, Deconstructing, and Debunking (WDDD), June 2005."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065042"},{"key":"e_1_3_2_1_8_1","volume-title":"Technical report","author":"Multiprocessor The Broadcom","year":"2002","unstructured":"The Broadcom BCM1250 Multiprocessor . Technical report , Broadcom Corporation , April 2002 . The Broadcom BCM1250 Multiprocessor. Technical report, Broadcom Corporation, April 2002."},{"key":"e_1_3_2_1_9_1","volume-title":"The Java Tutorial","author":"Campione M.","year":"2000","unstructured":"M. Campione , K. Walrath , and A. Huml . The Java Tutorial . Addison-Wesley Professional , third edition, January 2000 . M. Campione, K. Walrath, and A. Huml. The Java Tutorial. Addison-Wesley Professional, third edition, January 2000."},{"key":"e_1_3_2_1_10_1","volume-title":"Transactional Execution of Java Programs. In OOPSLA 2005 Workshop on Synchronization and Concurrency in Object-Oriented Languages (SCOOL).","author":"Carlstrom B. D.","year":"2005","unstructured":"B. D. Carlstrom , J. Chung , H. Chafi , A. McDonald , C. Cao Minh , L. Hammond , C. Kozyrakis , and K. Olukotun . Transactional Execution of Java Programs. In OOPSLA 2005 Workshop on Synchronization and Concurrency in Object-Oriented Languages (SCOOL). October 2005 . B. D. Carlstrom, J. Chung, H. Chafi, A. McDonald, C. Cao Minh, L. Hammond, C. Kozyrakis, and K. Olukotun. Transactional Execution of Java Programs. In OOPSLA 2005 Workshop on Synchronization and Concurrency in Object-Oriented Languages (SCOOL). October 2005."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094852"},{"key":"e_1_3_2_1_12_1","unstructured":"Cray. Chapel Specification. February 2005.  Cray. Chapel Specification. February 2005."},{"key":"e_1_3_2_1_13_1","volume-title":"The JCilk Language for Multithreaded Computing. In OOPSLA 2005 Workshop on Synchronization and Concurrency in Object-Oriented Languages (SCOOL).","author":"Danaher J.","year":"2005","unstructured":"J. Danaher , I.-T. Lee , and C. Leiserson . The JCilk Language for Multithreaded Computing. In OOPSLA 2005 Workshop on Synchronization and Concurrency in Object-Oriented Languages (SCOOL). October 2005 . J. Danaher, I.-T. Lee, and C. Leiserson. The JCilk Language for Multithreaded Computing. In OOPSLA 2005 Workshop on Synchronization and Concurrency in Object-Oriented Languages (SCOOL). October 2005."},{"key":"e_1_3_2_1_14_1","volume-title":"Camelot and Avalon: a distributed transaction facility","author":"Eppinger J. L.","year":"1991","unstructured":"J. L. Eppinger , L. B. Mummert , and A. Z. Spector , editors . Camelot and Avalon: a distributed transaction facility . Morgan Kaufmann Publishers Inc ., San Francisco, CA, USA, 1991 . J. L. Eppinger, L. B. Mummert, and A. Z. Spector, editors. Camelot and Avalon: a distributed transaction facility. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 1991."},{"key":"e_1_3_2_1_15_1","volume-title":"Workshop on Transactional Systems","author":"Flanagan C.","year":"2005","unstructured":"C. Flanagan . Atomicity in multithreaded software . In Workshop on Transactional Systems , April 2005 . C. Flanagan. Atomicity in multithreaded software. In Workshop on Transactional Systems, April 2005."},{"key":"e_1_3_2_1_16_1","volume-title":"http:\/\/www.gnu.org\/software\/classpath\/","author":"Foundation Free Software","year":"2005","unstructured":"Free Software Foundation , GNU Classpath 0.18. http:\/\/www.gnu.org\/software\/classpath\/ , 2005 . Free Software Foundation, GNU Classpath 0.18. http:\/\/www.gnu.org\/software\/classpath\/, 2005."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1024393.1024395"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/998680.1006711"},{"key":"e_1_3_2_1_19_1","volume-title":"2004 PODC Workshop on Concurrency and Synchronization in Java Programs","author":"Harris T.","year":"2004","unstructured":"T. Harris . Exceptions and side-effects in atomic blocks . In 2004 PODC Workshop on Concurrency and Synchronization in Java Programs , July 2004 . T. Harris. Exceptions and side-effects in atomic blocks. In 2004 PODC Workshop on Concurrency and Synchronization in Java Programs, July 2004."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/949305.949340"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065944.1065952"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1133984"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/872035.872048"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/165123.165164"},{"key":"e_1_3_2_1_25_1","volume-title":"Information technology ---- Database languages --- SQL --- Part 5: Host Language Bindings (SQL\/Bindings)","author":"International Organization for Standardization. ISO\/IEC 9075-5:1999","year":"1999","unstructured":"International Organization for Standardization. ISO\/IEC 9075-5:1999 : Information technology ---- Database languages --- SQL --- Part 5: Host Language Bindings (SQL\/Bindings) . International Organization for Standardization, Geneva , Switzerland , 1999 . International Organization for Standardization. ISO\/IEC 9075-5:1999: Information technology ---- Database languages --- SQL --- Part 5: Host Language Bindings (SQL\/Bindings). International Organization for Standardization, Geneva, Switzerland, 1999."},{"key":"e_1_3_2_1_26_1","unstructured":"Java Grande Forum Java Grande Benchmark Suite. http:\/\/www.epcc.ed.ac.uk\/javagrande\/ 2000.  Java Grande Forum Java Grande Benchmark Suite. http:\/\/www.epcc.ed.ac.uk\/javagrande\/ 2000."},{"key":"e_1_3_2_1_27_1","volume-title":"Sun Microsystems","author":"Jordan M.","year":"1999","unstructured":"M. Jordan and M. Atkinson . Orthogonal Persistence for the Java Platform. Technical report , Sun Microsystems , October 1999 . M. Jordan and M. Atkinson. Orthogonal Persistence for the Java Platform. Technical report, Sun Microsystems, October 1999."},{"key":"e_1_3_2_1_28_1","volume-title":"Conference Record of Hot Chips 15 Symposium","author":"Kalla R.","year":"2003","unstructured":"R. Kalla , B. Sinharoy , and J. Tendler . Simultaneous multi-threading implementation in POWER5 . In Conference Record of Hot Chips 15 Symposium , Stanford, CA , August 2003 . R. Kalla, B. Sinharoy, and J. Tendler. Simultaneous multi-threading implementation in POWER5. In Conference Record of Hot Chips 15 Symposium, Stanford, CA, August 2003."},{"key":"e_1_3_2_1_29_1","volume-title":"Conference Record of Hot Chips 15 Symposium","author":"Kapil S.","year":"2003","unstructured":"S. Kapil . UltraSparc Gemini : Dual CPU processor . In Conference Record of Hot Chips 15 Symposium , Palo Alto, CA , August 2003 . S. Kapil. UltraSparc Gemini: Dual CPU processor. In Conference Record of Hot Chips 15 Symposium, Palo Alto, CA, August 2003."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/319838.319854"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2005.35"},{"key":"e_1_3_2_1_32_1","volume-title":"May","author":"Lea D.","year":"2004","unstructured":"D. Lea . package util.concurrent. http:\/\/gee.cs.oswego.edu\/dl , May 2004 . D. Lea. package util.concurrent. http:\/\/gee.cs.oswego.edu\/dl, May 2004."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2166.357215"},{"key":"e_1_3_2_1_34_1","volume-title":"Transaction Synchronizers. In OOPSLA 2005 Workshop on Synchronization and Concurrency in Object-Oriented Languages (SCOOL).","author":"Luchangco V.","year":"2005","unstructured":"V. Luchangco and V. Marathe . Transaction Synchronizers. In OOPSLA 2005 Workshop on Synchronization and Concurrency in Object-Oriented Languages (SCOOL). October 2005 . V. Luchangco and V. Marathe. Transaction Synchronizers. In OOPSLA 2005 Workshop on Synchronization and Concurrency in Object-Oriented Languages (SCOOL). October 2005."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2006.9"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.2005.11"},{"key":"e_1_3_2_1_37_1","volume-title":"Nested Transactional Memory: Model and Preliminary Architecture Sketches. In OOPSLA 2005 Workshop on Synchronization and Concurrency in Object-Oriented Languages (SCOOL).","author":"Moss E.","year":"2005","unstructured":"E. Moss and T. Hosking . Nested Transactional Memory: Model and Preliminary Architecture Sketches. In OOPSLA 2005 Workshop on Synchronization and Concurrency in Object-Oriented Languages (SCOOL). October 2005 . E. Moss and T. Hosking. Nested Transactional Memory: Model and Preliminary Architecture Sketches. In OOPSLA 2005 Workshop on Synchronization and Concurrency in Object-Oriented Languages (SCOOL). October 2005."},{"key":"e_1_3_2_1_38_1","volume-title":"The Java memory model is fatally flawed. Concurrency - Practice and Experience, 12(6):445--455","author":"Pugh W.","year":"2000","unstructured":"W. Pugh . The Java memory model is fatally flawed. Concurrency - Practice and Experience, 12(6):445--455 , 2000 . W. Pugh. The Java memory model is fatally flawed. Concurrency - Practice and Experience, 12(6):445--455, 2000."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2005.54"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086378"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1122971.1123001"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/224964.224987"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/170035.170136"},{"key":"e_1_3_2_1_44_1","volume-title":"http:\/\/www.spec.org\/jbb2000\/","author":"Standard Performance Evaluation Corporation","year":"2000","unstructured":"Standard Performance Evaluation Corporation , SPECjbb2000 Benchmark. http:\/\/www.spec.org\/jbb2000\/ , 2000 . Standard Performance Evaluation Corporation, SPECjbb2000 Benchmark. http:\/\/www.spec.org\/jbb2000\/, 2000."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/106972.106991"},{"key":"e_1_3_2_1_46_1","series-title":"Lecture Notes in Computer Science","first-page":"519","volume-title":"Proceedings of the European Conference on Object-Oriented Programming","author":"Welc A.","year":"2004","unstructured":"A. Welc , S. Jagannathan , and A. L. Hosking . Transactional monitors for concurrent objects . In M. Odersky, editor, Proceedings of the European Conference on Object-Oriented Programming , volume 3086 of Lecture Notes in Computer Science , pages 519 -- 542 . Springer-Verlag , 2004 . A. Welc, S. Jagannathan, and A. L. Hosking. Transactional monitors for concurrent objects. In M. Odersky, editor, Proceedings of the European Conference on Object-Oriented Programming, volume 3086 of Lecture Notes in Computer Science, pages 519--542. Springer-Verlag, 2004."}],"event":{"name":"PLDI06: ACM SIGPLAN Conference on Programming Language Design and Implementation 2006","location":"Ottawa Ontario Canada","acronym":"PLDI06","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 27th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1133981.1133983","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1133981.1133983","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:22:18Z","timestamp":1750263738000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1133981.1133983"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,6,11]]},"references-count":46,"alternative-id":["10.1145\/1133981.1133983","10.1145\/1133981"],"URL":"https:\/\/doi.org\/10.1145\/1133981.1133983","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1133255.1133983","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2006,6,11]]},"assertion":[{"value":"2006-06-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}