SC20 Is Everywhere We Are

SC20 Virtual Platform
Samuel D. Pollard
Biography
Samuel Pollard received his B.S. in mathematics (2014) and M.S. in computer science (2016) from Western Washington University. He is a fourth year PhD candidate at the University of Oregon with a focus on formal methods applied to high-performance computing (HPC). He has researched job scheduling at Lawrence Livermore National Lab and is currently supported by Boyana Norris and the Digital Foundations and Mathematics team at Sandia National Labs. His research areas include instruction set architecture verification, floating point arithmetic, formal proofs, and how they all relate to HPC.
Presentations
Workshop
Correctness
MPI
Reproducibility and Transparency
W
Back To Top Button