{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:15:29Z","timestamp":1775873729285,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":45,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,10,12]],"date-time":"2005-10-12T00:00:00Z","timestamp":1129075200000},"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":[[2005,10,12]]},"DOI":"10.1145\/1094811.1094845","type":"proceedings-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T12:34:39Z","timestamp":1131366879000},"page":"439-453","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":96,"title":["Safe futures for Java"],"prefix":"10.1145","author":[{"given":"Adam","family":"Welc","sequence":"first","affiliation":[{"name":"Purdue University, West Lafayette, IN"}]},{"given":"Suresh","family":"Jagannathan","sequence":"additional","affiliation":[{"name":"Purdue University, West Lafayette, IN"}]},{"given":"Antony","family":"Hosking","sequence":"additional","affiliation":[{"name":"Purdue University, West Lafayette, IN"}]}],"member":"320","published-online":{"date-parts":[[2005,10,12]]},"reference":[{"key":"e_1_3_2_1_1_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/3-540-48294-6_2","volume-title":"Proceedings of the International Static Analysis Symposium (Venice, Italy, Sept.)","author":"Aldrich J.","year":"1999","unstructured":"Aldrich , J. , Chambers , C. , Sirer , E. G. , and Eggers , S. J . Static analyses for eliminating unnecessary synchronization from Java programs . In Proceedings of the International Static Analysis Symposium (Venice, Italy, Sept.) , A. Cortesi and G. Fil\u00e9, Eds. vol. 1694 of Lecture Notes in Computer Science . Springer , 1999 , pp. 19 -- 38 .]] Aldrich, J., Chambers, C., Sirer, E. G., and Eggers, S. J. Static analyses for eliminating unnecessary synchronization from Java programs. In Proceedings of the International Static Analysis Symposium (Venice, Italy, Sept.), A. Cortesi and G. Fil\u00e9, Eds. vol. 1694 of Lecture Notes in Computer Science. Springer, 1999, pp. 19--38.]]"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(02)00129-6"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/320384.320418"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/353171.353175"},{"key":"e_1_3_2_1_5_1","first-page":"5","article-title":"Program analysis for parallel processing","volume":"15","author":"Bernstein A","year":"1966","unstructured":"Bernstein , A . Program analysis for parallel processing . IEEE Transactions on Computers 15 , 5 ( Oct. 1966 ), 757--762.]] Bernstein, A. Program analysis for parallel processing. IEEE Transactions on Computers 15, 5 (Oct. 1966), 757--762.]]","journal-title":"IEEE Transactions on Computers"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/320384.320387"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/320384.320388"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/583854.582440"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/304065.304113"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/191081.191147"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/170036.170041"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/320384.320386"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/543552.512560"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/286942.286947"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199484"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796899003329"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349328"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964023"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/604174.604176"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268961"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/4472.4478"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/949343.949340"},{"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.1109\/71.139204"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/165854.165907"},{"key":"e_1_3_2_1_26_1","volume-title":"Lawrence Livermore National Laboratories","author":"Jensen E. H.","year":"1987","unstructured":"Jensen , E. H. , Hagensen , G. W. , and Broughton , J. M . A new approach to exclusive data access in shared memory multiprocessors. Tech. rep ., Lawrence Livermore National Laboratories , 1987 .]] Jensen, E. H., Hagensen, G. W., and Broughton, J. M. A new approach to exclusive data access in shared memory multiprocessors. Tech. rep., Lawrence Livermore National Laboratories, 1987.]]"},{"key":"e_1_3_2_1_27_1","unstructured":"JSR166: Concurrency utilities. http:\/\/java.sun.com\/j2se\/1.5.0\/docs\/guide\/concurrency\/.]]  JSR166: Concurrency utilities. http:\/\/java.sun.com\/j2se\/1.5.0\/docs\/guide\/concurrency\/.]]"},{"key":"e_1_3_2_1_28_1","volume-title":"Paratran: A transparent, transaction based runtime mechanism for parallel execution of scheme. Tech. rep","author":"Katz M.","year":"1989","unstructured":"Katz , M. Paratran: A transparent, transaction based runtime mechanism for parallel execution of scheme. Tech. rep ., Massachusetts Institute of Technology , Cambridge, MA, USA , 1989 .]] Katz, M. Paratran: A transparent, transaction based runtime mechanism for parallel execution of scheme. Tech. rep., Massachusetts Institute of Technology, Cambridge, MA, USA, 1989.]]"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/290229.290234"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/74818.74825"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/960116.54016"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/125826.125861"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/91556.91631"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/781498.781528"},{"key":"e_1_3_2_1_35_1","first-page":"10","volume":"34","author":"Proceedings ACM","year":"1999","unstructured":"Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages , and Applications (Denver, Colorado , Nov.) . ACM SIGPLAN Notices 34 , 10 ( Oct. 1999 ).]] Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (Denver, Colorado, Nov.). ACM SIGPLAN Notices 34, 10 (Oct. 1999).]]","journal-title":"ACM SIGPLAN Notices"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1035292.1028994"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/605397.605399"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.214440"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/224964.224987"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/582034.582042"},{"key":"e_1_3_2_1_42_1","series-title":"Lecture Notes in Computer Science","first-page":"413","volume-title":"Proceedings of the International Static Analysis Symposium (Santa Barbara, California, Jun.\/Jul.)","author":"Ungureanu C.","year":"1824","unstructured":"Ungureanu , C. , and Jagannathan , S . Concurrency analysis for Java . In Proceedings of the International Static Analysis Symposium (Santa Barbara, California, Jun.\/Jul.) , J. Palsberg, Ed. vol. 1824 of Lecture Notes in Computer Science . 2000, pp. 413 -- 432 .]] Ungureanu, C., and Jagannathan, S. Concurrency analysis for Java. In Proceedings of the International Static Analysis Symposium (Santa Barbara, California, Jun.\/Jul.), J. Palsberg, Ed. vol. 1824 of Lecture Notes in Computer Science. 2000, pp. 413--432.]]"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/504311.504288"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781145"},{"key":"e_1_3_2_1_45_1","series-title":"Lecture Notes in Computer Science","first-page":"519","volume-title":"Proceedings of the European Conference on Object-Oriented Programming (Oslo, Norway, June)","author":"Welc A.","year":"2004","unstructured":"Welc , A. , Jagannathan , S. , and Hosking , A. L . Transactional monitors for concurrent objects . In Proceedings of the European Conference on Object-Oriented Programming (Oslo, Norway, June) , M. Odersky, Ed. vol. 3086 of Lecture Notes in Computer Science . Springer-Verlag , 2004 , pp. 519 -- 542 .]] Welc, A., Jagannathan, S., and Hosking, A. L. Transactional monitors for concurrent objects. In Proceedings of the European Conference on Object-Oriented Programming (Oslo, Norway, June), M. Odersky, Ed. vol. 3086 of Lecture Notes in Computer Science. Springer-Verlag, 2004, pp. 519--542.]]"}],"event":{"name":"OOPSLA05: ACM SIGPLAN Object Oriented Programming Systems and Applications Conference","location":"San Diego CA USA","acronym":"OOPSLA05","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1094811.1094845","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1094811.1094845","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:08:09Z","timestamp":1750248489000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1094811.1094845"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,10,12]]},"references-count":45,"alternative-id":["10.1145\/1094811.1094845","10.1145\/1094811"],"URL":"https:\/\/doi.org\/10.1145\/1094811.1094845","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1103845.1094845","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2005,10,12]]},"assertion":[{"value":"2005-10-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}