Compilers are at the core of all computer architecture. Their middle-end and back-end
are full of subtle code that is easy to get wrong. At the same time, the consequences
of compiler bugs can be severe. Therefore, it is important that we develop ...