http://dblp.rkbexplorer.com/id/conf/uss/http://www.usenix.org/events/evt08/tech/full_papers/teague/

used by 0: