Samuel Pollard

18 subscribers

5 videos

View on YouTube

Scientist at Sandia National Laboratories researching formal verification

Latest Videos

Automated Error Analysis of Numerical Kernels for High-Consequence Systems with Frama-C

Automated Error Analysis of Numerical Kernels for High-Consequence Systems with Frama-C

Samuel Pollard

153 views·1 year ago

Techniques for Verifying the Correctness of Assembly Languages and Floating-Point Programs

Techniques for Verifying the Correctness of Assembly Languages and Floating-Point Programs

Samuel Pollard

104 views·4 years ago

Introduction to Floating-Point Error Analysis

Introduction to Floating-Point Error Analysis

Samuel Pollard

442 views·5 years ago

A Statistical Analysis of Error in MPI Reduction Operations

A Statistical Analysis of Error in MPI Reduction Operations

Samuel Pollard

64 views·5 years ago

Samuel Pollard - NatokHD | NatokHD