A provably sound TAL for back-end optimization.

Juan Chen, Dinghao Wu, Andrew W. Appel, Hai Fang

Browse the full PLDI paper archive.