A Case for Compressing Traces with BDDs. - Graham D. Price; Manish Vachharajani (IEEE Comput. Archit. Lett., 2006)

Visualizing potential parallelism in sequential programs. - Graham D. Price; John Giacomoni; Manish Vachharajani (PACT, 2008)

Large program trace analysis and compression with ZDDs. - Graham D. Price; Manish Vachharajani (CGO, 2010)