Simon Goldsmith Robert O'Callahan Alexander Aiken Relational queries over program traces. 385-402 2005 conf/oopsla/2005 OOPSLA http://doi.acm.org/10.1145/1094811.1094841 db/conf/oopsla/oopsla2005.html#GoldsmithOA05