@inproceedings{DAC-2003-FangRPC,
	author        = "Claire Fang Fang and Rob A. Rutenbar and Markus Püschel and Tsuhan Chen",
	booktitle     = "{Proceedings of the 40th Design Automation Conference}",
	doi           = "10.1145/775832.775960",
	isbn          = "1-58113-688-9",
	pages         = "496--501",
	publisher     = "{ACM}",
	title         = "{Toward efficient static analysis of finite-precision effects in DSP applications via affine arithmetic modeling}",
	year          = 2003,
}