Joseph Tucek Weiwei Xiong Yuanyuan Zhou Efficient online validation with delta execution. 193-204 2009 ASPLOS http://doi.acm.org/10.1145/1508244.1508267 conf/asplos/2009 db/conf/asplos/asplos2009.html#TucekXZ09