"Skadu: Efficient vector shadow memories for poly-scopic program analysis."

Donghwan Jeon, Saturnino Garcia, Michael Bedford Taylor (2013)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics