// Publications //
// Conferences //
Samuel D. Pollard, Sudharshan Srinivasan, and Boyana Norris. A Performance and Recommendation System for Parallel Graph Processing Implementations: Work-in-Progress. In The 10th ACM/SPEC International Conference on Performance Engineering Companion, (ICPE ’19), pp. 25–28. Mumbai, India, Apr 2019. ACM. [url] [pdf] [bib] [slides]
Samuel D. Pollard*, Nikhil Jain*, Stephen Herbein, and Abhinav Bhatele. Evaluation of an Interference-free Node Allocation Policy on Fat-tree Clusters. In Proceedings of the International Conference for High Performance Computing, Networking, Storage, and Analysis (SC ’18), pp. 26:1–26:13. Dallas, USA, Nov 2018. [url] [pdf] [bib]
// Workshops //
Anthony Dario and Samuel D. Pollard. 2024. A Step-Function Abstract Domain for Granular Floating-Point Error Analysis. In Proceedings of the 10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains (NSAD ’24), October 22, 2024, Pasadena, CA, USA. ACM, New York, NY, USA, 8 pages. [url] [pdf] [bib]
Zachary Sullivan and Samuel D. Pollard. 2024. A Formal Model for Portable, Heterogeneous Accelerator Programming. In Vivek Sarkar Festschrift Symposium (VIVEKFEST), October 21, 2024, Pasadena, CA, USA. [url] [pdf (with appendix)] [bib]
Samuel D. Pollard, Robert C. Armstrong, John Bender, Geoffrey C. Hulette, Raheel S. Mahmood, Karla Morris, Blake C. Rawlings, and Jon M. Aytac. Q: A Sound Verification Framework for Statecharts and Their Implementations. In Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS ’22), Dec 2022, Auckland, New Zealand. ACM, New York, NY, USA, pp. 16–26. [url] [pdf] [bib] [slides]
Feiyang Jin, Samuel D. Pollard, John Jacobson III, and Vivek Sarkar. MiniKokkos: A Calculus of Portable Parallelism. In The IEEE/ACM Sixth International Workshop on Software Correctness for HPC Applications (Correctness), pp. 37–44. Dallas, USA, Nov 2022. [pdf] [bib]
Keita Teranishi, Shyamali Mukherjee, Richard Rutledge, Samuel D. Pollard, Nicolas Morales, Noah Evans, Alessandro Orso, and Vivek Sarkar. Toward Automatic Test Synthesis for Performance Portable Programs. In 3rd International KLEE Workshop on Symbolic Execution. London, UK, Sep 2022. [pdf] [bib] [url] [slides] [video]
Samuel D. Pollard and Boyana Norris. A Statistical Analysis of Error in MPI Reduction Operations. In The Fourth International Workshop on Software Correctness for HPC Applications (Correctness), pp. 49–57. Virtual Event, Nov 2020. [url] [pdf] [bib] [slides] [video]
Samuel D. Pollard, Philip Johnson-Freyd, Jon Aytac, Tristan Duckworth, Michael J. Carson, Geoffrey C. Hulette, and Christoper B. Harrison. Quameleon: A Lifter and Intermediate Language for Binary Analysis. In Workshop on Instruction Set Architecture Specification (SpISA), pp. 1–4. Portland, OR, USA, Sep 2019. [url] [pdf] [bib] [slides]
// Journals //
// Technical Posters //
Vivek Kale, Shyamali Mukherjee, Samuel D. Pollard, Richard Rutledge, and Jackson Mayo. Automated Analysis of Heterogeneous Parallel Kokkos Applications Guided by Example Programs. Poster in 1st Annual Conference of the US Research Software Engineer Association (US-RSE’23), October 2023. [url] [pdf] [bib]
Samuel D. Pollard and Boyana Norris. A Comparison of Parallel Graph Processing Implementations. In IEEE International Conference on Cluster Computing (CLUSTER), pp. 657–658, Honolulu, USA, Sep 2017. [url] [pdf] [bib]
// Non-Refereed Research //
// Technical Reports //
S. D. Pollard, J. M. Aytac, A. Kellison, I. Laguna, S. Nedunuri, S. Reis, M. J. Sottile, and H. K. Thornquist. The first tri-lab workshop on formal verification: Capabilities, challenges, research opportunities, and exemplars. Technical report, Sandia National Laboratories, 2024. [url] [pdf] [bib]
Samuel D. Pollard, Ariel Kellison, John Bender, and Geoffrey C. Hulette. Real(istic) Specifications of Software, Tech. rep., ASCR Workshop on the Science of Scientific-Software Development and Use, U.S. Department of Energy, Office of Advanced Scientific Computing Research, Dec 2021. [url] [pdf] [bib]
Noah Evans, Robert C. Armstrong, Samuel D. Pollard, and Jacob Hobbs. AI-based formal specification for scientific security. Tech. rep., ASCR Workshop on Cybersecurity and Privacy for Scientific Computing Ecosystems, U.S. Department of Energy, Office of Advanced Scientific Computing Research, Nov 2021. [url] [pdf] [bib]
Ariel Kellison, Geoffrey C. Hulette John Bender, Samuel D. Pollard, and Heidi K. Thornquist. Formal Methods-based Certification Frameworks for Scientific Computing Applications. Tech. rep., ASCR Workshop on Cybersecurity and Privacy for Scientific Computing Ecosystems, U.S. Department of Energy, Office of Advanced Scientific Computing Research, Nov 2021. [url] [pdf] [bib]
// Presentations //
Samuel D. Pollard and Shant Hairapetian. Automated Error Analysis of Numerical Kernels for High-Consequence Systems with Frama-C. Digital Assurance for High-Consequence Systems Demo Day. Sandia National Laboratories, Sep 2024. [slides] [video]
Samuel D. Pollard. Verification of Digital Numerics for High-Consequence Systems. FPTalks. Online, Jul 2024. [url] [slides] [video]
Samuel D. Pollard. Building Automated Proofs of Refinement Between State Machines and C. Frama-C Days. Paris, France, Jun 2024. [url] [slides]
Samuel D. Pollard. Formal and Semi-Formal Verification of Floating-Point Computations in C Programs. FP Bench Community Meeting. Virtual. Apr 2023. [slides]
Samuel D. Pollard. Reproducibility in Parallel Graph Algorithms. SIAM Conference on Computational Science and Engineering (CSE19). Spokane, USA, Feb 2019. [url] [slides]
// University //
Samuel D. Pollard. When Does a Bit Matter? Techniques for Verifying the Correctness of Assembly Languages and Floating-Point Programs. PhD Thesis, University of Oregon, Eugene, USA, Jun 2021. [pdf] [bib] [slides] [video]
Samuel D. Pollard. Verification Techniques for Low-Level Programs. Area exam, University of Oregon, Eugene, USA, Feb 2019. [pdf] [bib] [slides] [video]
*These authors contributed equally to this work