Samuel Pollard

According to our database, Samuel Pollard authored at least 10 papers between 2017 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Mechanizing Olver's Error Arithmetic.

Max Fan, Ariel E. Kellison, Samuel D. Pollard

Proceedings of the International Workshop on Verification of Scientific Software, October, 2025

2024

A Step-Function Abstract Domain for Granular Floating-Point Error Analysis.

Anthony Dario, Samuel D. Pollard

Proceedings of the 10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, 2024

2022

A Shared-Memory Algorithm for Updating Tree-Based Properties of Large Dynamic Networks.

Sriram Srinivasan, Samuel D. Pollard, Boyana Norris, Sajal K. Das, Sanjukta Bhowmick

IEEE Trans. Big Data, 2022

Q: A Sound Verification Framework for Statecharts and Their Implementations.

Samuel D. Pollard, Robert C. Armstrong, John Bender, Geoffrey C. Hulette, Raheel S. Mahmood, Karla Morris, Blake C. Rawlings, Jon M. Aytac

Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2022

MiniKokkos: A Calculus of Portable Parallelism.

Feiyang Jin, John Jacobson, Samuel D. Pollard, Vivek Sarkar

Proceedings of the Sixth IEEE/ACM International Workshop on Software Correctness for HPC Applications, 2022

2020

A Statistical Analysis of Error in MPI Reduction Operations.

Samuel D. Pollard, Boyana Norris

Proceedings of the 4th IEEE/ACM International Workshop on Software Correctness for HPC Applications, 2020

2019

A Performance and Recommendation System for Parallel Graph Processing Implementations: Work-In-Progress.

Samuel D. Pollard, Sudharshan Srinivasan, Boyana Norris

Proceedings of the Companion of the 2019 ACM/SPEC International Conference on Performance Engineering, 2019

2018

Evaluation of an interference-free node allocation policy on fat-tree clusters.

Samuel D. Pollard, Nikhil Jain, Stephen Herbein, Abhinav Bhatele

Proceedings of the International Conference for High Performance Computing, 2018

2017

A Comparison of Parallel Graph Processing Benchmarks.

Samuel Pollard, Boyana Norris

CoRR, 2017

A Comparison of Parallel Graph Processing Implementations.

Samuel D. Pollard, Boyana Norris

Proceedings of the 2017 IEEE International Conference on Cluster Computing, 2017