Just got a paper accepted at ECOOP ‘13! The paper has the title “Averroes: Whole-Program Analysis Without the Whole Program”. You can find more information about it here.