{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,22]],"date-time":"2026-01-22T01:56:45Z","timestamp":1769047005956,"version":"3.49.0"},"reference-count":12,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2024,11,1]],"date-time":"2024-11-01T00:00:00Z","timestamp":1730419200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,11,1]],"date-time":"2024-11-01T00:00:00Z","timestamp":1730419200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,11,1]],"date-time":"2024-11-01T00:00:00Z","timestamp":1730419200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Micro"],"published-print":{"date-parts":[[2024,11]]},"DOI":"10.1109\/mm.2024.3422668","type":"journal-article","created":{"date-parts":[[2024,7,9]],"date-time":"2024-07-09T18:29:46Z","timestamp":1720549786000},"page":"83-91","source":"Crossref","is-referenced-by-count":5,"title":["Puss in Boots: Formalizing Arm\u2019s Virtual Memory System Architecture"],"prefix":"10.1109","volume":"44","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8335-0852","authenticated-orcid":false,"given":"Jade","family":"Alglave","sequence":"first","affiliation":[{"name":"University College London, London, U.K"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0594-3206","authenticated-orcid":false,"given":"Richard","family":"Grisenthwaite","sequence":"additional","affiliation":[{"name":"Arm Ltd, Cambridge, U.K."}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6781-9665","authenticated-orcid":false,"given":"Artem","family":"Khyzha","sequence":"additional","affiliation":[{"name":"Arm Ltd, Cambridge, U.K."}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5312-7759","authenticated-orcid":false,"given":"Luc","family":"Maranget","sequence":"additional","affiliation":[{"name":"Institut National de Recherche en Sciences et Technologies du Numérique, Paris, France"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5811-3110","authenticated-orcid":false,"given":"Nikos","family":"Nikoleris","sequence":"additional","affiliation":[{"name":"Arm Ltd, Cambridge, U.K."}]}],"member":"263","reference":[{"key":"ref1","volume-title":"Arm architecture reference manual (for A-profile architecture) Version K.a","year":"2024"},{"key":"ref2","volume-title":"herd: Update aarch64.cat to align with the Armv8 memory model","author":"Deacon","year":"2024"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2627752"},{"key":"ref4","volume-title":"The diy7 tool suite","author":"Alglave","year":"2024"},{"key":"ref5","volume-title":"KVM","year":"2024"},{"key":"ref6","volume-title":"Initial formalisation of the VMSA","author":"Alglave","year":"2024"},{"key":"ref7","volume-title":"AArch64 VMSA experiment report","year":"2024"},{"key":"ref8","volume-title":"Puss In Boots: On formalizing arm\u2019s virtual memory system architecture (extended version)","author":"Alglave"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/isca45697.2020.00076"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3477132.3483560"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-99336-8_6"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-81685-8_14"}],"container-title":["IEEE Micro"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/40\/10812075\/10589571.pdf?arnumber=10589571","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,30]],"date-time":"2024-12-30T19:28:29Z","timestamp":1735586909000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10589571\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11]]},"references-count":12,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/mm.2024.3422668","relation":{},"ISSN":["0272-1732","1937-4143"],"issn-type":[{"value":"0272-1732","type":"print"},{"value":"1937-4143","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,11]]}}}