{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T03:32:35Z","timestamp":1782876755666,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,11,30]],"date-time":"2023-11-30T00:00:00Z","timestamp":1701302400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-2007024,CCF-2312263"],"award-info":[{"award-number":["CCF-2007024,CCF-2312263"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"OUSD(R&E)\/RT&L","award":["W911NF-20-2-0267"],"award-info":[{"award-number":["W911NF-20-2-0267"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,11,30]]},"DOI":"10.1145\/3611643.3616326","type":"proceedings-article","created":{"date-parts":[[2023,11,30]],"date-time":"2023-11-30T23:14:38Z","timestamp":1701386078000},"page":"1395-1406","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Practical Inference of Nullability Types"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2599-7770","authenticated-orcid":false,"given":"Nima","family":"Karimipour","sequence":"first","affiliation":[{"name":"University of California, Riverside, Riverside, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-3064-0601","authenticated-orcid":false,"given":"Justin","family":"Pham","sequence":"additional","affiliation":[{"name":"University of California, Riverside, Riverside, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-9773-7273","authenticated-orcid":false,"given":"Lazaro","family":"Clapp","sequence":"additional","affiliation":[{"name":"Uber Technologies, San Francisco, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7993-302X","authenticated-orcid":false,"given":"Manu","family":"Sridharan","sequence":"additional","affiliation":[{"name":"University of California, Riverside, Riverside, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,11,30]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"2022. The Activity Lifecycle. https:\/\/developer.android.com\/guide\/components\/activities\/activity-lifecycle Accessed: 2022-04-12"},{"key":"e_1_3_2_2_2_1","volume-title":"Ullman","author":"Aho Alfred V.","year":"2006","unstructured":"Alfred V. Aho, Monica S. Lam, Ravi Sethi, and Jeffrey D. Ullman. 2006. Compilers: Principles, Techniques, and Tools (2nd Edition). Addison-Wesley Longman Publishing Co., Inc., USA. isbn:0321486811"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360585"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338919"},{"key":"e_1_3_2_2_5_1","volume-title":"Proceedings of the 38th International Conference on Machine Learning, ICML 2021","volume":"791","author":"Berabi Berkay","year":"2021","unstructured":"Berkay Berabi, Jingxuan He, Veselin Raychev, and Martin T. Vechev. 2021. TFix: Learning to Fix Coding Errors with a Text-to-Text Transformer. In Proceedings of the 38th International Conference on Machine Learning, ICML 2021, 18-24 July 2021, Virtual Event, Marina Meila and Tong Zhang (Eds.) (Proceedings of Machine Learning Research, Vol. 139). PMLR, 780\u2013791. http:\/\/proceedings.mlr.press\/v139\/berabi21a.html"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158103"},{"key":"e_1_3_2_2_7_1","unstructured":"2022. Checker Framework Inference. https:\/\/github.com\/opprop\/checker-framework-inference Accessed: 2022-04-02"},{"key":"e_1_3_2_2_8_1","unstructured":"2022. Daikon AnnotateNullable support. http:\/\/plse.cs.washington.edu\/daikon\/download\/doc\/daikon.html#AnnotateNullable Accessed: 2022-04-12"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985889"},{"key":"e_1_3_2_2_10_1","unstructured":"2022. Infer : Eradicate. https:\/\/fbinfer.com\/docs\/checker-eradicate Accessed: 2022-04-07"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.015"},{"key":"e_1_3_2_2_12_1","unstructured":"2022. Error Prone. http:\/\/errorprone.info\/ Accessed: 2022-04-07"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/301618.301665"},{"key":"e_1_3_2_2_14_1","unstructured":"2022. Gradle Build Tool. https:\/\/gradle.org Accessed: 2022-04-03"},{"key":"e_1_3_2_2_15_1","unstructured":"2022. gRPC. https:\/\/grpc.io Accessed: 2022-04-07"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3236051"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1108792.1108798"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","unstructured":"Thore Husfeldt. 2015. Graph colouring algorithms. https:\/\/doi.org\/10.48550\/ARXIV.1505.05825 arXiv pre-print 1505.05825 10.48550\/ARXIV.1505.05825","DOI":"10.48550\/ARXIV.1505.05825"},{"key":"e_1_3_2_2_19_1","unstructured":"2022. JavaParser. https:\/\/javaparser.org Accessed: 2022-04-02"},{"key":"e_1_3_2_2_20_1","volume-title":"ASE 2023: Proceedings of the 38th Annual International Conference on Automated Software Engineering.","author":"Kellogg Martin","unstructured":"Martin Kellogg, Daniel Daskiewicz, Loi Ngo Duc Nguyen, Muyeed Ahmed, and Michael D. Ernst. 2023. Pluggable type inference for free. In ASE 2023: Proceedings of the 38th Annual International Conference on Automated Software Engineering."},{"key":"e_1_3_2_2_21_1","unstructured":"2022. Kotlin Programming Language. https:\/\/kotlinlang.org\/ Accessed: 2022-04-07"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390657"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3022671.2983994"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048144"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3371097"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062514"},{"key":"e_1_3_2_2_27_1","unstructured":"2022. NullAway handler implementations. https:\/\/github.com\/uber\/NullAway\/tree\/master\/nullaway\/src\/main\/java\/com\/uber\/nullaway\/handlers Accessed: 2022-04-07"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390656"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660230"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3485488"},{"key":"e_1_3_2_2_31_1","unstructured":"Artem Pianykh Ilya Zorin and Dmitry Lyubarskiy. 2023. Retrofitting null-safety onto Java at Meta. https:\/\/engineering.fb.com\/2022\/11\/22\/developer-tools\/meta-java-nullsafe\/ Accessed: 2023-02-01"},{"key":"e_1_3_2_2_32_1","volume-title":"Types and Programming Languages","author":"Pierce Benjamin C.","year":"2091","unstructured":"Benjamin C. Pierce. 2002. Types and Programming Languages (1st ed.). The MIT Press. isbn:0262162091","edition":"1"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2854146"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409715"},{"key":"e_1_3_2_2_35_1","unstructured":"2022. Swift Programming Language. https:\/\/swift.org\/ Accessed: 2022-04-07"},{"key":"e_1_3_2_2_36_1","volume-title":"Proceedings of the 37th International Conference on Software Engineering -","volume":"1","author":"Vakilian Mohsen","year":"1934","unstructured":"Mohsen Vakilian, Amarin Phaosawasdi, Michael D. Ernst, and Ralph E. Johnson. 2015. Cascade: A Universal Programmer-Assisted Type Qualifier Inference Tool. In Proceedings of the 37th International Conference on Software Engineering - Volume 1 (ICSE \u201915). IEEE Press, 234\u2013245. isbn:9781479919345"},{"key":"e_1_3_2_2_37_1","unstructured":"2023. T.J. Watson Libraries for Analysis (WALA). http:\/\/wala.sourceforge.net"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428210"},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3121137"}],"event":{"name":"ESEC\/FSE '23: 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","location":"San Francisco CA USA","acronym":"ESEC\/FSE '23","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3611643.3616326","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3611643.3616326","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:36:11Z","timestamp":1750178171000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3611643.3616326"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,30]]},"references-count":39,"alternative-id":["10.1145\/3611643.3616326","10.1145\/3611643"],"URL":"https:\/\/doi.org\/10.1145\/3611643.3616326","relation":{},"subject":[],"published":{"date-parts":[[2023,11,30]]},"assertion":[{"value":"2023-11-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}