A new verified compiler backend for CakeML
A new verified compiler backend for CakeML is a scholarly work, published in 2016 in ''ACM SIGPLAN Notices''. The main subjects of the publication include interprocedural optimization, just-in-time compilation, program analysis, optimizing compiler, x86, computer science, register allocation, loop optimization, fault tolerance, programming language, compiler, Compiler correctness, formal methods, and parallel computing. The authors focus particularly on the interaction between the verification of the register allocator and the garbage collector, and memory representations.