SPLASH 2026
Sun 4 - Fri 9 October 2026 Oakland, California, United States
co-located with SPLASH/ISSTA 2026
SPLASH/ISSTA 2026 (series) / SPLASH 2026 (series) / Samuel D. Pollard
Samuel D. Pollard

Registered user since Tue 19 Jan 2021

Name:Samuel D. Pollard
Bio:

I am a computer scientist at Sandia National Laboratories. My work focuses on formal methods as it applies to high-performance computing, transition systems, and floating-point arithmetic.

Country:United States
Affiliation:Sandia National Laboratories
Personal website: https://sampollard.github.io
X (Twitter): https://x.com/samdpollard
GitHub: https://github.com/sampollard
Research interests:Formal Methods, High Performance Computing, Floating-Point Arithmetic

Contributions

Show activities from other conferences

Using general profile