Generating correct initial page tables from formal hardware descriptions

Download
Full text (accepted version) (PDF, 469.2Kb)
Thumbnail
Open access
Author
Achermann, Retocc
Cock, David
Haecki, Roni
Hossle, Nora
Humbel, Lukascc
Roscoe, Timothy
Schwyn, Danielcc
Show all
Date
2021-10
Type
    Conference Paper
Rights / license
In Copyright - Non-Commercial Use Permitted
Permanent link
https://doi.org/10.3929/ethz-b-000511171
Publication status
published
External links
Book title
PLOS '21: Proceedings of the 11th Workshop on Programming Languages and Operating Systems
Pages / Article No.
69 - 75
Publisher
Association for Computing Machinery
Event
11th Workshop on Programming Languages and Operating Systems (PLOS 2021), Online, 25-Oct-21
Organisational unit
03757 - Roscoe, Timothy / Roscoe, Timothy  
More
Show all metadata
Citations
Cited 1 times in Scopus
ETH Bibliography
yes
Altmetrics