Xiaofeng Gao Allan Snavely Larry Carter Path Grammar Guided Trace Compression and Trace Approximation. 57-68 2006 HPDC http://doi.ieeecomputersociety.org/10.1109/HPDC.2006.1652136 conf/hpdc/2006 db/conf/hpdc/hpdc2006.html#GaoSC06