Erik Ruf Optimizing Sparse Representations for Dataflow Analysis. 50-61 1995 Intermediate Representations Workshop db/conf/irep/irep95.html#Ruf95