The paper Interprocedural Analysis with Lazy Propagation is accepted at SAS'10 2 May 2010 by Ann Eg Mølhave Link to the paper
