A Step-Function Abstract Domain for Granular Floating-Point Error Analysis
Explore the source record for details and available documents.
Dario, Anthony↗
Engineering topics
Pollard, Samuel Douglas
Publications and source records attributed to Pollard, Samuel Douglas.
A Formal Model for Portable, Heterogeneous Accelerator Programming
Explore the source record for details and available documents.
Sullivan, Zachary Joseph↗
A Formal Model for Portable, Heterogeneous Accelerator Programming
Camera-ready paper and appendix for the Vivek Sarkar Festschrift Symposium.
Sullivan, Zachary Joseph↗