@inproceedings{CGO-2003-CaiX,
	acmid         = "776271",
	author        = "Qiong Cai and Jingling Xue",
	booktitle     = "{Proceedings of the First International Symposium on Code Generation and Optimization}",
	doi           = "10.1109/CGO.2003.1191536",
	isbn          = "0-7695-1913-X",
	pages         = "91--104",
	publisher     = "{IEEE Computer Society}",
	title         = "{Optimal and Efficient Speculation-Based Partial Redundancy Elimination}",
	year          = 2003,
}