Benoit Boissinot Sebastian Hack Daniel Grund Benoît Dupont de Dinechin Fabrice Rastello Fast liveness checking for ssa-form programs. 35-44 2008 CGO http://doi.acm.org/10.1145/1356058.1356064 conf/cgo/2008 db/conf/cgo/cgo2008.html#BoissinotHGDR08