Mathew Zaleski Angela Demke Brown Kevin Stoodley YETI: a graduallY extensible trace interpreter. 83-93 2007 conf/vee/2007 VEE http://doi.acm.org/10.1145/1254810.1254823 db/conf/vee/vee2007.html#ZaleskiBS07