TY - RPRT TI - Unsafe Floating-point to Unsigned Integer Casting Check for GPU Programs AU - Chiang, Wei-Fan AU - Gopalakrishnan, Ganesh AU - Rakamarić, Zvonimir PY - 2015 DO - 10.1016/j.entcs.2015.10.005 UR - https://www.osti.gov/biblio/1556176 ID - 1556176 ER -