Hardware is getting increasingly complex and heterogeneous. With different components
having different views of the system, the traditional assumption of unique physical addresses …

Operating systems manage and configure a machine's physical resources such as memory
and translation hardware. This task is mission critical: the operating system must always …

Porting operating systems is expensive. Recent developments in formal specifications of
machine architectures and in program synthesis have made it possible to consider …

Operating systems inevitably make assumptions about the hardware execution environment.
These assumptions influence the design of application programming interfaces (APIs) …

Once upon a time each computing system had a single physical address space comprised
of an ordered set of physical addresses. These addresses were unique over the whole …

In this thesis, I will explore different approaches to modelling the Gen-Z specifications [60].
The Gen-Z interconnect enables new system topologies, such as memory-centric systems …

Bachelor’s Thesis Nr. 248b Page 1 Bachelor’s Thesis Nr. 248b Systems Group, Department of
Computer Science, ETH Zurich Formally modelling hardware standards by Giuseppe Arcuti …