{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:51Z","timestamp":1772163951576,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,6,7]],"date-time":"2008-06-07T00:00:00Z","timestamp":1212796800000},"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":[[2008,6,7]]},"DOI":"10.1145\/1375581.1375583","type":"proceedings-article","created":{"date-parts":[[2008,6,10]],"date-time":"2008-06-10T10:13:22Z","timestamp":1213092802000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":23,"title":["Checking race freedom via linear programming"],"prefix":"10.1145","author":[{"given":"Tachio","family":"Terauchi","sequence":"first","affiliation":[{"name":"Tohoku University, Sendai, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,6,7]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"GNU Linear Programming Kit. http:\/\/www.gnu.org\/software\/glpk\/glpk.html.]]  GNU Linear Programming Kit. http:\/\/www.gnu.org\/software\/glpk\/glpk.html.]]"},{"key":"e_1_3_2_1_2_1","first-page":"149","volume-title":"5th International Conference, VMCAI 2004","author":"Agarwal R.","unstructured":"R. Agarwal and S. D. Stoller . Type inference for parameterized race-free Java. In Verification, Model Checking, and Abstract Interpretation , 5th International Conference, VMCAI 2004 , Proceedings , pages 149 -- 160 .]] R. Agarwal and S. D. Stoller. Type inference for parameterized race-free Java. In Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Proceedings, pages 149--160.]]"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040327"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781168"},{"key":"e_1_3_2_1_5_1","first-page":"55","volume-title":"Tenth International Symposium","author":"Boyland J.","year":"2003","unstructured":"J. Boyland . Checking interference with fractional permissions. In Static Analysis , Tenth International Symposium , pages 55 -- 72 , San Diego, CA , June 2003 .]] J. Boyland. Checking interference with fractional permissions. In Static Analysis, Tenth International Symposium, pages 55--72, San Diego, CA, June 2003.]]"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349309"},{"key":"e_1_3_2_1_7_1","first-page":"260","volume-title":"Eighth International Symposium","author":"Das M.","year":"2001","unstructured":"M. Das , B. Liblit , M. F\u00e4hndrich , and J. Rehof . Estimating the impact of scalable pointer analysis on optimization. In Static Analysis , Eighth International Symposium , pages 260 -- 278 , Paris, France , July 2001 .]] M. Das, B. Liblit, M. F\u00e4hndrich, and J. Rehof. Estimating the impact of scalable pointer analysis on optimization. In Static Analysis, Eighth International Symposium, pages 260--278, Paris, France, July 2001.]]"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349332"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"C.\n      Flanagan\n     and \n      M.\n      Abadi\n  . \n  Types for safe locking\n  . In D. Swierstra editor 8th European Symposium on Programming volume \n  1576\n   of \n  Lecture Notes in Computer Science pages \n  91\n  --\n  108 Amsterdam The Netherlands Mar. \n  1999\n  . \n  Springer-Verlag\n  .]]   C. Flanagan and M. Abadi. Types for safe locking. In D. Swierstra editor 8th European Symposium on Programming volume 1576 of Lecture Notes in Computer Science pages 91--108 Amsterdam The Netherlands Mar. 1999. Springer-Verlag.]]","DOI":"10.1007\/3-540-49099-X_7"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349328"},{"key":"e_1_3_2_1_11_1","first-page":"116","volume-title":"Eleventh International Symposium","author":"Flanagan C.","year":"2004","unstructured":"C. Flanagan and S. N. Freund . Type inference against races. In Static Analysis , Eleventh International Symposium , pages 116 -- 132 , Verona, Italy , August 2004 .]] C. Flanagan and S. N. Freund. Type inference against races. In Static Analysis, Eleventh International Symposium, pages 116--132, Verona, Italy, August 2004.]]"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512531"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/604174.604177"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996867"},{"key":"e_1_3_2_1_15_1","unstructured":"S. Mimram. ocaml-glpk. http:\/\/ocaml-glpk.sourceforge.net\/.]]  S. Mimram. ocaml-glpk. http:\/\/ocaml-glpk.sourceforge.net\/.]]"},{"key":"e_1_3_2_1_16_1","unstructured":"H. Mittelmann. Benchmarks for optimization software. http:\/\/plato.asu.edu\/bench.html.]]  H. Mittelmann. Benchmarks for optimization software. http:\/\/plato.asu.edu\/bench.html.]]"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190265"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134018"},{"key":"e_1_3_2_1_19_1","first-page":"213","volume-title":"11th International Conference","author":"Necula G. C.","year":"2002","unstructured":"G. C. Necula , S. McPeak , S. P. Rahul , and W. Weimer . CIL: Intermediate language and tools for analysis and transformation of c programs. In Compiler Construction , 11th International Conference , pages 213 -- 228 , Grenoble, France , Apr. 2002 .]] G. C. Necula, S. McPeak, S. P. Rahul, and W. Weimer. CIL: Intermediate language and tools for analysis and transformation of c programs. In Compiler Construction, 11th International Conference, pages 213--228, Grenoble, France, Apr. 2002.]]"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134019"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/11817949_15"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287654"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996859"}],"event":{"name":"PLDI '08: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Tucson AZ USA","acronym":"PLDI '08","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1375581.1375583","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1375581.1375583","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:57:37Z","timestamp":1750240657000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1375581.1375583"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6,7]]},"references-count":23,"alternative-id":["10.1145\/1375581.1375583","10.1145\/1375581"],"URL":"https:\/\/doi.org\/10.1145\/1375581.1375583","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1379022.1375583","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2008,6,7]]},"assertion":[{"value":"2008-06-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}