Verifying bit-manipulations of floating-point.

Wonyeol Lee, Rahul Sharma, Alex Aiken

Browse the full PLDI paper archive.