The paper Interprocedural Analysis with Lazy Propagation is accepted at SAS'10