Scalable yet Rigorous Floating-Point Error Analysis | IEEE Conference Publication | IEEE Xplore