phd-thesis/plan/main.md

507 B

High-level plan

10. Introduction

20. State of the art

30. Palmed: automatically modelling the backend

Introduce Palmed; my contributions to it.

40. Beyond ports: manually modelling the A72 frontend

Manual model of the Cortex A72 frontend; its impact.

50. A more systematic approach to throughput prediction performance analysis

benchsuite-bb ; genbenchs ; importance of memory-carried dependencies.

60. Statical extraction of memory-carried dependencies

Staticdeps, evaluation