{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,3]],"date-time":"2025-12-03T17:37:44Z","timestamp":1764783464113},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642351815"},{"type":"electronic","value":"9783642351822"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-35182-2_2","type":"book-chapter","created":{"date-parts":[[2012,12,5]],"date-time":"2012-12-05T20:19:15Z","timestamp":1354738755000},"page":"2-17","source":"Crossref","is-referenced-by-count":6,"title":["JATO: Native Code Atomicity for Java"],"prefix":"10.1007","author":[{"given":"Siliang","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yu David","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gang","family":"Tan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M., Birrell, A., Harris, T., Isard, M.: Semantics of transactional memory and automatic mutual exclusion. In: POPL 2008, pp. 63\u201374 (2008)","DOI":"10.1145\/1328897.1328449"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Berger, E.D., Yang, T., Liu, T., Novark, G.: Grace: safe multithreaded programming for c\/c++. In: OOPSLA 2009, pp. 81\u201396 (2009)","DOI":"10.1145\/1639949.1640096"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Bocchino Jr., R.L., Heumann, S., Honarmand, N., Adve, S.V., Adve, V.S., Welc, A., Shpeisman, T.: Safe nondeterminism in a deterministic-by-default parallel language. In: POPL 2011, pp. 535\u2013548 (2011)","DOI":"10.1145\/1925844.1926447"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"CarlStrom, B., McDonald, A., Chafi, H., Chung, J., Minh, C., Kozyrakis, C., Olukotun, K.: The atomos transactional programming language. In: PLDI 2006 (June 2006)","DOI":"10.1145\/1133981.1133983"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Emmi, M., Fischer, J.S., Jhala, R., Majumdar, R.: Lock allocation. In: POPL 2007, pp. 291\u2013296 (2007)","DOI":"10.1145\/1190215.1190260"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Qadeer, S.: A type and effect system for atomicity. In: PLDI 2003, pp. 338\u2013349 (2003)","DOI":"10.1145\/781131.781169"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Furr, M., Foster, J.S.: Checking type safety of foreign function calls. In: ACM Conference on Programming Language Design and Implementation, PLDI, pp. 62\u201372 (2005)","DOI":"10.1145\/1064978.1065019"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/11693024_21","volume-title":"Programming Languages and Systems","author":"M. Furr","year":"2006","unstructured":"Furr, M., Foster, J.S.: Polymorphic Type Inference for the JNI. In: Sestoft, P. (ed.) ESOP 2006. LNCS, vol.\u00a03924, pp. 309\u2013324. Springer, Heidelberg (2006)"},{"issue":"3","key":"2_CR9","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1016\/j.scico.2005.03.005","volume":"58","author":"T. Harris","year":"2005","unstructured":"Harris, T.: Exceptions and side-effects in atomic blocks. Sci. Comput. Program.\u00a058(3), 325\u2013343 (2005)","journal-title":"Sci. Comput. Program."},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Harris, T., Fraser, K.: Language support for lightweight transactions. In: OOPSLA 2003, pp. 388\u2013402 (2003)","DOI":"10.1145\/949343.949340"},{"key":"2_CR11","unstructured":"Hicks, M., Foster, J.S., Prattikakis, P.: Lock inference for atomic sections. In: TRANSACT 2006 (June 2006)"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Hirzel, M., Grimm, R.: Jeannie: Granting Java Native Interface developers their wishes. In: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA, pp. 19\u201338 (2007)","DOI":"10.1145\/1297105.1297030"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Igarashi, A., Pierce, B., Wadler, P.: Featherweight java - a minimal core calculus for java and gj. ACM Transactions on Programming Languages and Systems, 132\u2013146 (1999)","DOI":"10.1145\/320385.320395"},{"key":"2_CR14","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/1390630.1390645","volume-title":"ISSTA 2008: Proceedings of the 2008 International Symposium on Software Testing and Analysis","author":"G. Kondoh","year":"2008","unstructured":"Kondoh, G., Onodera, T.: Finding bugs in Java Native Interface programs. In: ISSTA 2008: Proceedings of the 2008 International Symposium on Software Testing and Analysis, pp. 109\u2013118. ACM, New York (2008)"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Kulkarni, A., Liu, Y.D., Smith, S.F.: Task types for pervasive atomicity. In: OOPSLA 2010 (October 2010)","DOI":"10.1145\/1869459.1869514"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Lee, B., Hirzel, M., Grimm, R., Wiedermann, B., McKinley, K.S.: Jinn: Synthesizing a dynamic bug detector for foreign language interfaces. In: ACM Conference on Programming Language Design and Implementation, PLDI, pp. 36\u201349 (2010)","DOI":"10.1145\/1809028.1806601"},{"key":"2_CR17","unstructured":"Leroy, X.: The Objective Caml system (2008), \n                    \n                      http:\/\/caml.inria.fr\/pub\/docs\/manual-ocaml\/index.html"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Li, S., Tan, G.: Finding bugs in exceptional situations of JNI programs. In: 16th ACM Conference on Computer and Communications Security, CCS, pp. 442\u2013452 (2009)","DOI":"10.1145\/1653662.1653716"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Li, S., Tan, G.: JET: Exception checking in the Java Native Interface. In: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA, pp. 345\u2013358 (2011)","DOI":"10.1145\/2076021.2048095"},{"key":"2_CR20","unstructured":"Liang, S.: Java Native Interface: Programmer\u2019s Guide and Reference. Addison-Wesley Longman Publishing Co., Inc. (1999)"},{"key":"2_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/978-3-540-78791-4_18","volume-title":"Compiler Construction","author":"Y.D. Liu","year":"2008","unstructured":"Liu, Y.D., Lu, X., Smith, S.F.: Coqa: Concurrent Objects with Quantized Atomicity. In: Hendren, L. (ed.) CC 2008. LNCS, vol.\u00a04959, pp. 260\u2013275. Springer, Heidelberg (2008)"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"Martin, M.M.K., Blundell, C., Lewis, E.: Subtleties of transactional memory atomicity semantics. Computer Architecture Letters\u00a05(2) (2006)","DOI":"10.1109\/L-CA.2006.18"},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"McCloskey, B., Zhou, F., Gay, D., Brewer, E.: Autolocker: synchronization inference for atomic sections. In: POPL 2006, pp. 346\u2013358 (2006)","DOI":"10.1145\/1111320.1111068"},{"key":"2_CR24","unstructured":"messAdmin, \n                    \n                      http:\/\/messadmin.sourceforge.net\/"},{"issue":"1","key":"2_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1044834.1044835","volume":"14","author":"A. Milanova","year":"2005","unstructured":"Milanova, A., Rountev, A., Ryder, B.G.: Parameterized object sensitivity for points-to analysis for java. ACM Trans. Softw. Eng. Methodol.\u00a014(1), 1\u201341 (2005)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"2_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/3-540-45937-5_16","volume-title":"Compiler Construction","author":"G.C. Necula","year":"2002","unstructured":"Necula, G.C., McPeak, S., Rahul, S.P., Weimer, W.: CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. In: Horspool, R.N. (ed.) CC 2002. LNCS, vol.\u00a02304, pp. 213\u2013228. Springer, Heidelberg (2002)"},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"Palsberg, J., Schwartzbach, M.I.: Object-oriented type inference. In: OOPSLA 1991, pp. 146\u2013161 (1991)","DOI":"10.1145\/118014.117965"},{"key":"2_CR28","unstructured":"Python\/C API reference manual (April 2009), \n                    \n                      http:\/\/docs.python.org\/c-api\/index.html"},{"key":"2_CR29","unstructured":"Shivers, O.: Control-Flow Analysis of Higher-Order Languages. PhD thesis, Carnegie-Mellon University, Pittsburgh, PA (May 1991), CMU-CS-91-145"},{"key":"2_CR30","unstructured":"SPECjvm2008, \n                    \n                      http:\/\/www.spec.org\/jvm2008\/"},{"key":"2_CR31","unstructured":"Tan, G., Appel, A., Chakradhar, S., Raghunathan, A., Ravi, S., Wang, D.: Safe Java Native Interface. In: Proceedings of IEEE International Symposium on Secure Software Engineering, pp. 97\u2013106 (2006)"},{"key":"2_CR32","doi-asserted-by":"crossref","unstructured":"Tan, G., Morrisett, G.: ILEA: Inter-language analysis across Java and C. In: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA, pp. 39\u201356 (2007)","DOI":"10.1145\/1297105.1297031"},{"issue":"3","key":"2_CR33","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1824801.1824809","volume":"37","author":"P. Wendykier","year":"2010","unstructured":"Wendykier, P., Nagy, J.G.: Parallel colt: A high-performance java library for scientific computing and image processing. ACM Trans. Math. Softw. 37(3), 31:1\u201331:22 (2010)","journal-title":"ACM Trans. Math. Softw."},{"key":"2_CR34","doi-asserted-by":"crossref","unstructured":"Whaley, J., Lam, M.S.: Cloning-based context-sensitive pointer alias analysis using binary decision diagrams. In: PLDI 2004, pp. 131\u2013144 (2004)","DOI":"10.1145\/996841.996859"},{"key":"2_CR35","unstructured":"Zhu, H.S., Liu, Y.D.: Scalable object locality analysis with cypress principle. Technical report, SUNY Binghamton (May 2012)"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35182-2_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,9]],"date-time":"2019-05-09T14:54:53Z","timestamp":1557413693000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35182-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642351815","9783642351822"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35182-2_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}