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

Donghwan Jeon, Saturnino Garcia, Michael Bedford Taylor

Browse the full CGO paper archive.