{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T04:35:27Z","timestamp":1781238927781,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":105,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,6,18]],"date-time":"2021-06-18T00:00:00Z","timestamp":1623974400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["683289 and 789108"],"award-info":[{"award-number":["683289 and 789108"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/K008528\/1"],"award-info":[{"award-number":["EP\/K008528\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003246","name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","doi-asserted-by":"publisher","award":["016.Veni.192.259"],"award-info":[{"award-number":["016.Veni.192.259"]}],"id":[{"id":"10.13039\/501100003246","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,6,19]]},"DOI":"10.1145\/3453483.3454036","type":"proceedings-article","created":{"date-parts":[[2021,6,18]],"date-time":"2021-06-18T13:51:32Z","timestamp":1624024292000},"page":"158-174","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":72,"title":["RefinedC: automating the foundational verification of C code with refined ownership types"],"prefix":"10.1145","author":[{"given":"Michael","family":"Sammler","sequence":"first","affiliation":[{"name":"MPI-SWS, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rodolphe","family":"Lepigre","sequence":"additional","affiliation":[{"name":"MPI-SWS, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Robbert","family":"Krebbers","sequence":"additional","affiliation":[{"name":"Radboud University Nijmegen, Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kayvan","family":"Memarian","sequence":"additional","affiliation":[{"name":"University of Cambridge, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Derek","family":"Dreyer","sequence":"additional","affiliation":[{"name":"MPI-SWS, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0888-3093","authenticated-orcid":false,"given":"Deepak","family":"Garg","sequence":"additional","affiliation":[{"name":"MPI-SWS, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2021,6,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/2.3.297"},{"key":"e_1_3_2_1_2_1","volume-title":"Program Logics for Certified Compilers","author":"Appel Andrew W.","unstructured":"Andrew W. Appel . 2014. Program Logics for Certified Compilers . Cambridge University Press . https:\/\/www.cambridge.org\/de\/academic\/subjects\/computer-science\/programming-languages-and-applied-logic\/program-logics-certified-compilers Andrew W. Appel. 2014. Program Logics for Certified Compilers. Cambridge University Press. https:\/\/www.cambridge.org\/de\/academic\/subjects\/computer-science\/programming-languages-and-applied-logic\/program-logics-certified-compilers"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45744-5_21"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49122-5_3"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926394"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30538-5_9"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/11804192_6"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.2011.40"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480917"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-018-9457-5"},{"key":"e_1_3_2_1_11_1","volume-title":"Appel","author":"Cao Qinxiang","year":"2019","unstructured":"Qinxiang Cao , Shengyi Wang , Aquinas Hobor , and Andrew W . Appel . 2019 . Proof pearl: Magic wand as frame. CoRR , abs\/1909.08789 (2019), arxiv:1909.08789 Qinxiang Cao, Shengyi Wang, Aquinas Hobor, and Andrew W. Appel. 2019. Proof pearl: Magic wand as frame. CoRR, abs\/1909.08789 (2019), arxiv:1909.08789"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2854065.2854068"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993526"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500365.2500592"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2677003"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737984"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03359-9_2"},{"key":"e_1_3_2_1_18_1","unstructured":"Ernie Cohen Mark A. Hillebrand Stephan Tobies Micha\u0142 Moskal and Wolfram Schulte. 2012. Verifying C programs: A VCC tutorial. https:\/\/archive.codeplex.com\/projects\/VCC\/fda99f81-18b5-45ae-8f49-5b28c747dcc3  Ernie Cohen Mark A. Hillebrand Stephan Tobies Micha\u0142 Moskal and Wolfram Schulte. 2012. Verifying C programs: A VCC tutorial. https:\/\/archive.codeplex.com\/projects\/VCC\/fda99f81-18b5-45ae-8f49-5b28c747dcc3"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480921"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71316-6_35"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33826-7_16"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3371102"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44404-1_7"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378811"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/SecDev.2018.00015"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00005"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87873-5_8"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/113445.113468"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-17184-1_3"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32347-8_8"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594296"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2676975"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3356903"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192381"},{"key":"e_1_3_2_1_35_1","unstructured":"Hafnium. 2020. Hafnium. https:\/\/review.trustedfirmware.org\/plugins\/gitiles\/hafnium\/hafnium\/+\/HEAD\/README.md  Hafnium. 2020. Hafnium. https:\/\/review.trustedfirmware.org\/plugins\/gitiles\/hafnium\/hafnium\/+\/HEAD\/README.md"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0014329"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737979"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78739-6_27"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1991.151628"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-20398-5_4"},{"key":"e_1_3_2_1_41_1","volume-title":"Cyclone: A safe dialect of C. In USENIX. 275\u2013288","author":"Jim Trevor","year":"2002","unstructured":"Trevor Jim , Greg Morrisett , Dan Grossman , Michael W. Hicks , James Cheney , and Yanling Wang . 2002 . Cyclone: A safe dialect of C. In USENIX. 275\u2013288 . http:\/\/www.usenix.org\/publications\/library\/proceedings\/usenix02\/jim.html Trevor Jim, Greg Morrisett, Dan Grossman, Michael W. Hicks, James Cheney, and Yanling Wang. 2002. Cyclone: A safe dialect of C. In USENIX. 275\u2013288. http:\/\/www.usenix.org\/publications\/library\/proceedings\/usenix02\/jim.html"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158154"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3418295"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2951913.2951943"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796818000151"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3371113"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2676980"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP.2017.17"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2738005"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2560537"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629596"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535878"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236772"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54434-1_26"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"crossref","unstructured":"Robbert Krebbers Amin Timany and Lars Birkedal. 2017. Interactive proofs in higher-order concurrent separation logic. In POPL. ACM 205\u2013217. http:\/\/dl.acm.org\/citation.cfm?id=3009855  Robbert Krebbers Amin Timany and Lars Birkedal. 2017. Interactive proofs in higher-order concurrent separation logic. In POPL. ACM 205\u2013217. http:\/\/dl.acm.org\/citation.cfm?id=3009855","DOI":"10.1145\/3093333.3009855"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37075-5_17"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89960-2_3"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062343"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535871"},{"key":"e_1_3_2_1_61_1","unstructured":"Xavier Leroy Andrew Appel Sandrine Blazy and Gordon Stewart. 2012. The CompCert memory model version 2. Inria. https:\/\/hal.inria.fr\/hal-00703441  Xavier Leroy Andrew Appel Sandrine Blazy and Gordon Stewart. 2012. The CompCert memory model version 2. Inria. https:\/\/hal.inria.fr\/hal-00703441"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-008-9099-0"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3385971"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08970-6_24"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133911"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290380"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908081"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503286"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_47"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500365.2500598"},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1145\/3110261"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-46520-3_16"},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375602"},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706316"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17796-5_9"},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2010.03.012"},{"key":"e_1_3_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384656"},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.4646747"},{"key":"e_1_3_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737964"},{"key":"e_1_3_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462183"},{"key":"e_1_3_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.1145\/1053468.1053469"},{"key":"e_1_3_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46425-5_24"},{"key":"e_1_3_2_1_84_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71067-7_23"},{"key":"e_1_3_2_1_85_1","volume-title":"Transfinite Iris: Resolving an existential dilemma of step-indexed separation logic. In PLDI. ACM. https:\/\/doi.org\/10.1145\/3453483.3454031","author":"Spies Simon","year":"2021","unstructured":"Simon Spies , Lennard G\u00e4her , Daniel Gratzer , Joseph Tassarotti , Robbert Krebbers , Derek Dreyer , and Lars Birkedal . 2021 . Transfinite Iris: Resolving an existential dilemma of step-indexed separation logic. In PLDI. ACM. https:\/\/doi.org\/10.1145\/3453483.3454031 Simon Spies, Lennard G\u00e4her, Daniel Gratzer, Joseph Tassarotti, Robbert Krebbers, Derek Dreyer, and Lars Birkedal. 2021. Transfinite Iris: Resolving an existential dilemma of step-indexed separation logic. In PLDI. ACM. https:\/\/doi.org\/10.1145\/3453483.3454031"},{"key":"e_1_3_2_1_86_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2014.05.010"},{"key":"e_1_3_2_1_87_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54833-8_9"},{"key":"e_1_3_2_1_88_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034811"},{"key":"e_1_3_2_1_89_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2006.02.003"},{"key":"e_1_3_2_1_90_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158097"},{"key":"e_1_3_2_1_91_1","unstructured":"The Bedrock Team. 2015. Verification of a singly linked list. https:\/\/github.com\/mit-plv\/bedrock\/blob\/e3ff3c2cba9976ac4351caaabb4bf\/Bedrock\/Examples\/SinglyLinkedList.v  The Bedrock Team. 2015. Verification of a singly linked list. https:\/\/github.com\/mit-plv\/bedrock\/blob\/e3ff3c2cba9976ac4351caaabb4bf\/Bedrock\/Examples\/SinglyLinkedList.v"},{"key":"e_1_3_2_1_92_1","volume-title":"\u201cstandard library","author":"Team The","unstructured":"The Coq-std++ Team . 2020. An extended \u201cstandard library \u201d for Coq . https:\/\/gitlab.mpi-sws.org\/iris\/stdpp The Coq-std++ Team. 2020. An extended \u201cstandard library\u201d for Coq. https:\/\/gitlab.mpi-sws.org\/iris\/stdpp"},{"key":"e_1_3_2_1_93_1","unstructured":"The Rust Team. 2020. The Rust programming language. https:\/\/rust-lang.org  The Rust Team. 2020. The Rust programming language. https:\/\/rust-lang.org"},{"key":"e_1_3_2_1_94_1","unstructured":"The Tokei Team. 2020. Tokei. https:\/\/github.com\/XAMPPRocky\/tokei  The Tokei Team. 2020. Tokei. https:\/\/github.com\/XAMPPRocky\/tokei"},{"key":"e_1_3_2_1_95_1","unstructured":"The VCC Team. 2016. Verification of a singly linked list. https:\/\/github.com\/microsoft\/vcc\/blob\/47f3f33d459f5fd9233203ec3d5d2fc803\/vcc\/Docs\/Tutorial\/c\/7.2.list.c  The VCC Team. 2016. Verification of a singly linked list. https:\/\/github.com\/microsoft\/vcc\/blob\/47f3f33d459f5fd9233203ec3d5d2fc803\/vcc\/Docs\/Tutorial\/c\/7.2.list.c"},{"key":"e_1_3_2_1_96_1","unstructured":"The Verifast Team. 2019. Verification of a binary search tree. https:\/\/github.com\/verifast\/verifast\/blob\/8bc966726de829749eaf916ec3863bf294\/examples\/sorted_bintree.c  The Verifast Team. 2019. Verification of a binary search tree. https:\/\/github.com\/verifast\/verifast\/blob\/8bc966726de829749eaf916ec3863bf294\/examples\/sorted_bintree.c"},{"key":"e_1_3_2_1_97_1","unstructured":"The VST Team. 2020. Verification of Binary Search Tree. https:\/\/github.com\/PrincetonUniversity\/VST\/blob\/14e6b3a79a9685a478786436c6f0a45dc44c3d52\/progs\/verif_bst.v  The VST Team. 2020. Verification of Binary Search Tree. https:\/\/github.com\/PrincetonUniversity\/VST\/blob\/14e6b3a79a9685a478786436c6f0a45dc44c3d52\/progs\/verif_bst.v"},{"key":"e_1_3_2_1_98_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-44914-8_25"},{"key":"e_1_3_2_1_99_1","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-11(3:19)2015"},{"key":"e_1_3_2_1_100_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21461-5_21"},{"key":"e_1_3_2_1_101_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45332-6_7"},{"key":"e_1_3_2_1_102_1","volume-title":"VST-A: A foundationally sound annotation verifier. CoRR, abs\/1909.00097","author":"Wang Qinshi","year":"2019","unstructured":"Qinshi Wang and Qinxiang Cao . 2019. VST-A: A foundationally sound annotation verifier. CoRR, abs\/1909.00097 ( 2019 ), arxiv:1909.00097 Qinshi Wang and Qinxiang Cao. 2019. VST-A: A foundationally sound annotation verifier. CoRR, abs\/1909.00097 (2019), arxiv:1909.00097"},{"key":"e_1_3_2_1_103_1","doi-asserted-by":"publisher","DOI":"10.1145\/2349896.2349905"},{"key":"e_1_3_2_1_104_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03359-9_34"},{"key":"e_1_3_2_1_105_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796806006216"},{"key":"e_1_3_2_1_106_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70545-1_36"},{"key":"e_1_3_2_1_107_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134043"}],"event":{"name":"PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation","location":"Virtual Canada","acronym":"PLDI '21","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3453483.3454036","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3453483.3454036","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:03:07Z","timestamp":1750197787000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3453483.3454036"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,18]]},"references-count":105,"alternative-id":["10.1145\/3453483.3454036","10.1145\/3453483"],"URL":"https:\/\/doi.org\/10.1145\/3453483.3454036","relation":{},"subject":[],"published":{"date-parts":[[2021,6,18]]},"assertion":[{"value":"2021-06-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}