The paper Sparse Dataflow Analysis with Pointers and Reachability is accepted at SAS'14 2 June 2014 by Ann Eg Mølhave Link to the paper