LARA Initialization and Liveness Analysis. Register Allocation Slides: pptx, pdf Initialization Examples for Initialization Analysis Checking Initialization Using Data-Flow Analysis Live Variable Analysis Live-Variable Analysis Register Machines and Basic Mapping Register Machine Model in Scala From Stack Machine to Register Machine Register Allocation Register Allocation using Liveness Information References Tiger book, chapters 10 and 11 Course by Prof. Alex Aiken