Samuel Pollard

@samdpollard

Scientist at Sandia National Labs. I research how to apply formal methods to floating-point arithmetic, state machines, and high-performance computing.

sampollard.github.io

Joined February 2018

118 Following

99 Followers

Replies Reposts Media

Samuel Pollard
@samdpollard
Sep 29, 2025
Probably the funniest thing I've seen AI do lately is to auto-dub a French podcast I'm using to learn French back into English
Samuel Pollard
@samdpollard
Apr 26, 2025
Our paper that mechanizes an alternative error model for floating-point from way back in the '70s was accepted to the Verification of Scientific Software workshop. Max Fan will be presenting the work in Hamilton next month, colocated at ETAPS. vsl.cis.udel.edu/vss2025/fan-et…
Samuel Pollard
@samdpollard
Dec 18, 2024
Doing research on verification of scientific software? Consider submitting to the aptly-named workshop on Verification of Scientific Software, deadline Feb 1st. Relevant topics include specification and verification of GPU code and case studies on FM vsl.cis.udel.edu/vss2025/
Samuel Pollard
@samdpollard
Nov 24, 2024
I love this picture because it seems to imply there exists some wall somewhere that is concrete wrapped in lead wrapped in aluminum wrapped in human skin, and I just think that's beautiful to visualize.
Samuel Pollard
@samdpollard
Oct 30, 2024
One thing that's important to me is open source software, but for a different reason than you typically hear. I'm announcing a couple of my projects which have been approved for source release, but first a bit of context. Also, these views are my own. 1/4
1