Floating-point bitwidth analysis via automatic differentiation

Cite this paper

@inproceedings{Gaffar2002FloatingpointBA, title={Floating-point bitwidth analysis via automatic differentiation}, author={Altaf Abdul Gaffar and Oskar Mencer and Wayne Luk and Peter Y. K. Cheung and Nabeel Shirazi}, booktitle={FPT}, year={2002} }