{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:48:35Z","timestamp":1772164115392,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,11,5]],"date-time":"2018-11-05T00:00:00Z","timestamp":1541376000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"National Security Agency","award":["H98230-14-C-0140"],"award-info":[{"award-number":["H98230-14-C-0140"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,11,5]]},"DOI":"10.1145\/3278122.3278128","type":"proceedings-article","created":{"date-parts":[[2018,10,24]],"date-time":"2018-10-24T11:28:39Z","timestamp":1540380519000},"page":"53-65","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Inferring ownership domains from refinements"],"prefix":"10.1145","author":[{"given":"Ebrahim","family":"Khalaj","sequence":"first","affiliation":[{"name":"Wayne State University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marwan","family":"Abi-Antoun","sequence":"additional","affiliation":[{"name":"Wayne State University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,11,5]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640113"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24851-4_1"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/582419.582448"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/286936.286947"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985889"},{"key":"e_1_3_2_1_6_1","volume-title":"Tunable Static Inference for Generic Universe Types. In European Conference on ObjectOriented Programming (ECOOP).","author":"Dietl Werner","year":"2011"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASWEC.2013.30"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31057-7_9"},{"key":"e_1_3_2_1_9_1","volume-title":"International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming (IWACO).","author":"Huang Wei","year":"2011"},{"key":"e_1_3_2_1_10_1","unstructured":"Ebrahim Khalaj. 2017. Automated Refinement of Hierarchical Object Graphs. Ph.D. Dissertation. Wayne State University. http:\/\/www.cs. wayne.edu\/~mabianto\/students\/17_khalaj_phd_thesis.pdf .  Ebrahim Khalaj. 2017. Automated Refinement of Hierarchical Object Graphs. Ph.D. Dissertation. Wayne State University. http:\/\/www.cs. wayne.edu\/~mabianto\/students\/17_khalaj_phd_thesis.pdf ."},{"key":"e_1_3_2_1_11_1","unstructured":"Ebrahim Khalaj and Marwan Abi-Antoun. 2018. Online appendix: OOGRE. http:\/\/www.cs.wayne.edu\/~mabianto\/oogre\/ .  Ebrahim Khalaj and Marwan Abi-Antoun. 2018. Online appendix: OOGRE. http:\/\/www.cs.wayne.edu\/~mabianto\/oogre\/ ."},{"key":"e_1_3_2_1_12_1","unstructured":"Fred Long Dhruv Mohindra Robert C. Seacord Dean F. Sutherland and David Svoboda. 2011. The CERT Oracle Secure Coding Standard for Java. Addison-Wesley.   Fred Long Dhruv Mohindra Robert C. Seacord Dean F. Sutherland and David Svoboda. 2011. The CERT Oracle Secure Coding Standard for Java. Addison-Wesley."},{"key":"e_1_3_2_1_13_1","volume-title":"Static Dominance Inference. In International Conference on Objects, Models, Components, Patterns (TOOLS).","author":"Milanova Ana","year":"2011"},{"key":"e_1_3_2_1_14_1","article-title":"A Parameterized Type System for Simple Loose Ownership Domains","volume":"6","author":"Sch\u00e4fer Jan","year":"2007","journal-title":"Journal of Object Technology"},{"key":"e_1_3_2_1_15_1","unstructured":"University of Maryland. 2007. FindBugs: Find Bugs in Java Programs. http:\/\/findbugs.sourceforge.net .  University of Maryland. 2007. FindBugs: Find Bugs in Java Programs. http:\/\/findbugs.sourceforge.net ."},{"key":"e_1_3_2_1_16_1","volume-title":"International Conference on Software Engineering (ICSE).","author":"Vakilian Mohsen"},{"key":"e_1_3_2_1_17_1","first-page":"109","article-title":"Object Graphs with Ownership Domains: an Empirical Study","volume":"7850","author":"Vanciu Radu","year":"2013","journal-title":"Springer LNCS"},{"key":"e_1_3_2_1_18_1","volume-title":"Runtime Universe Type Inference. In International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming (IWACO).","author":"Werner Dietl","year":"2007"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39038-8_5"}],"event":{"name":"GPCE '18: 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences","location":"Boston MA USA","acronym":"GPCE '18","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3278122.3278128","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3278122.3278128","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:54:09Z","timestamp":1750190049000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3278122.3278128"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11,5]]},"references-count":19,"alternative-id":["10.1145\/3278122.3278128","10.1145\/3278122"],"URL":"https:\/\/doi.org\/10.1145\/3278122.3278128","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3393934.3278128","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2018,11,5]]},"assertion":[{"value":"2018-11-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}