Aarhus University Seal / Aarhus Universitets segl

The paper Sparse Dataflow Analysis with Pointers and Reachability is accepted at SAS'14