In compiler design, Chaitin's algorithm is a method of register allocation, the problem of assigning registers to variables at various points of a program.