{"id":"https://openalex.org/W3005673907","doi":"https://doi.org/10.3929/ethz-b-000400029","title":"On Memory Addressing","display_name":"On Memory Addressing","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3005673907","doi":"https://doi.org/10.3929/ethz-b-000400029","mag":"3005673907"},"language":"en","primary_location":{"id":"pmh:oai:www.research-collection.ethz.ch:20.500.11850/400029","is_oa":true,"landing_page_url":"http://hdl.handle.net/20.500.11850/400029","pdf_url":"http://hdl.handle.net/20.500.11850/400029","source":{"id":"https://openalex.org/S4306402302","display_name":"Repository for Publications and Research Data (ETH Zurich)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I35440088","host_organization_name":"ETH Zurich","host_organization_lineage":["https://openalex.org/I35440088"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/doctoralThesis"},"type":"dissertation","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/20.500.11850/400029","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5072557888","display_name":"Reto Achermann","orcid":"https://orcid.org/0000-0003-3263-7236"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Achermann, Reto","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5072557888"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.14685955,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.5108927,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.1843000054359436,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.1843000054359436,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.37233179807662964}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.37233179807662964}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:www.research-collection.ethz.ch:20.500.11850/400029","is_oa":true,"landing_page_url":"http://hdl.handle.net/20.500.11850/400029","pdf_url":"http://hdl.handle.net/20.500.11850/400029","source":{"id":"https://openalex.org/S4306402302","display_name":"Repository for Publications and Research Data (ETH Zurich)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I35440088","host_organization_name":"ETH Zurich","host_organization_lineage":["https://openalex.org/I35440088"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/doctoralThesis"},{"id":"doi:10.3929/ethz-b-000400029","is_oa":true,"landing_page_url":"https://doi.org/10.3929/ethz-b-000400029","pdf_url":null,"source":{"id":"https://openalex.org/S7407051236","display_name":"ETH Z\u00fcrich Research Collection","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"thesis"},{"id":"mag:3005673907","is_oa":false,"landing_page_url":"https://www.research-collection.ethz.ch/handle/20.500.11850/400029","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:www.research-collection.ethz.ch:20.500.11850/400029","is_oa":true,"landing_page_url":"http://hdl.handle.net/20.500.11850/400029","pdf_url":"http://hdl.handle.net/20.500.11850/400029","source":{"id":"https://openalex.org/S4306402302","display_name":"Repository for Publications and Research Data (ETH Zurich)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I35440088","host_organization_name":"ETH Zurich","host_organization_lineage":["https://openalex.org/I35440088"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/doctoralThesis"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W3005673907.pdf"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2625490900","https://openalex.org/W2977677894","https://openalex.org/W2802325160","https://openalex.org/W2281337735","https://openalex.org/W2851113131","https://openalex.org/W2759640675","https://openalex.org/W3099502407","https://openalex.org/W2822122639","https://openalex.org/W2858918970","https://openalex.org/W2833816817","https://openalex.org/W2858548176","https://openalex.org/W2842384063","https://openalex.org/W2852154734","https://openalex.org/W2272609267","https://openalex.org/W2404761248","https://openalex.org/W2834476206","https://openalex.org/W2874189739","https://openalex.org/W2845854154","https://openalex.org/W2401693347","https://openalex.org/W2880322019"],"abstract_inverted_index":{"Operating":[0],"systems":[1,41],"manage":[2],"and":[3,12,30,45,64],"configure":[4,26],"a":[5,37,72,77,88,147,158],"machine's":[6],"physical":[7,34],"resources":[8,35],"such":[9],"as":[10,91],"memory":[11,27,85],"translation":[13],"hardware.":[14],"This":[15,59,70,74,145],"task":[16],"is":[17,71,102],"mission":[18],"critical:":[19],"the":[20,33,50,54,84,99,103,108,131,141,153],"operating":[21,40],"system":[22,68],"must":[23],"always":[24],"correctly":[25],"address":[28,104,111,114,121,134,138],"translations":[29],"unambiguously":[31],"name":[32],"of":[36,53,87,98,133,137,157],"system.":[38],"However,":[39],"today":[42],"use":[43],"abstractions":[44],"assumptions":[46],"which":[47,106],"unfaithfully":[48],"represent":[49,83],"actual":[51],"topology":[52],"hardware":[55,89,155],"they":[56],"are":[57],"managing.":[58],"mismatch":[60],"leads":[61],"to":[62,81],"bugs":[63],"security":[65],"vulnerabilities":[66],"in":[67,140],"software.":[69,94],"problem.":[73],"dissertation":[75],"presents":[76],"new":[78,100],"abstraction":[79,97],"model":[80,101],"faithfully":[82],"subsystem":[86],"platform":[90],"seen":[92],"by":[93],"The":[95,126],"core":[96],"space,":[105],"defines":[107],"context":[109],"for":[110,150],"decoding.":[112],"An":[113],"space":[115],"either":[116],"translates":[117],"addresses":[118],"or":[119],"terminates":[120],"resolution":[122],"within":[123],"its":[124],"context.":[125],"Decoding":[127],"Net":[128],"formally":[129],"specifies":[130],"semantics":[132],"decoding":[135],"behavior":[136],"spaces":[139],"Isabelle/HOL":[142],"theorem":[143],"prover.":[144],"provides":[146],"sound":[148],"basis":[149],"reasoning":[151],"about":[152],"current":[154],"configuration":[156],"platform.":[159]},"counts_by_year":[{"year":2020,"cited_by_count":1}],"updated_date":"2026-02-20T08:17:22.645390","created_date":"2025-10-10T00:00:00"}