@inproceedings{CGO-2010-PriceV,
	author        = "Graham D. Price and Manish Vachharajani",
	booktitle     = "{Proceedings of the Eighth International Symposium on Code Generation and Optimization}",
	doi           = "10.1145/1772954.1772961",
	isbn          = "978-1-60558-635-9",
	pages         = "32--41",
	publisher     = "{ACM}",
	title         = "{Large program trace analysis and compression with ZDDs}",
	year          = 2010,
}