Evaluation of an interference-free node allocation policy on fat-tree clusters SD Pollard, N Jain, S Herbein, A Bhatele SC18: International Conference for High Performance Computing, Networking …, 2018 | 30 | 2018 |
A comparison of parallel graph processing implementations SD Pollard, B Norris 2017 IEEE International Conference on Cluster Computing (CLUSTER), 657-658, 2017 | 12 | 2017 |
A Shared-Memory Algorithm for Updating Tree-Based Properties of Large Dynamic Networks S Srinivasan, SD Pollard, SK Das, B Norris, S Bhowmick IEEE Transactions on Big Data, 2018 | 10 | 2018 |
Minikokkos: A calculus of portable parallelism F Jin, J Jacobson, SD Pollard, V Sarkar 2022 IEEE/ACM Sixth International Workshop on Software Correctness for HPC …, 2022 | 1 | 2022 |
A Statistical Analysis of Error in MPI Reduction Operations SD Pollard, B Norris 2020 IEEE/ACM 4th International Workshop on Software Correctness for HPC …, 2020 | 1 | 2020 |
Quameleon: A Lifter and Intermediate Language for Binary Analysis. PA Johnson-Freyd, S Pollard, T Duckworth, MJ Carson, GC Hulette, ... Sandia National Lab.(SNL-CA), Livermore, CA (United States), 2019 | 1 | 2019 |
A performance and recommendation system for parallel graph processing implementations: Work-in-progress SD Pollard, S Srinivasan, B Norris Companion of the 2019 ACM/SPEC International Conference on Performance …, 2019 | 1 | 2019 |
Q: A Sound Verification Framework for Statecharts and Their Implementations SD Pollard, RC Armstrong, J Bender, GC Hulette, RS Mahmood, K Morris, ... Proceedings of the 8th ACM SIGPLAN International Workshop on Formal …, 2022 | | 2022 |
Toward Automatic Test Synthesis for Performance Portable Programs. K Teranishi, S Mukherjee, R Rutledge, S Pollard, N Evans, A Orso, ... Sandia National Lab.(SNL-CA), Livermore, CA (United States), 2022 | | 2022 |
Automated Test Generation for Performance Portable Programs Using Clang/LLVM and Formal Methods. K Teranishi, S Mukherjee, S Pollard, N Evans, A Orso, V Sarkar Sandia National Lab.(SNL-NM), Albuquerque, NM (United States); Sandia …, 2022 | | 2022 |
Real (istic) Specifications of Software. S Pollard, A Kellison, J Bender, H Thornquist, G Hulette Sandia National Lab.(SNL-NM), Albuquerque, NM (United States), 2021 | | 2021 |
Formal Methods-based Certification Frameworks for Scientific Computing Applications A Kellison, G Hulette, J Bender, SD Pollard, HK Thornquist | | 2021 |
Formal Methods-based Certification Frameworks for Scientific Computing Applications. G Hulette, J Bender, S Pollard, H Thornquist, A Kellison Sandia National Lab.(SNL-NM), Albuquerque, NM (United States), 2021 | | 2021 |
When Does a Bit Matter? Techniques for Verifying the Correctness of Assembly Languages and Floating-Point Programs SD Pollard Computer and Information Science, 2021 | | 2021 |
Verification Techniques for Low-Level Programs SD Pollard Computer and Information Science, 2019 | | 2019 |
A Comparison of Parallel Graph Processing Benchmarks. SD Pollard, B Norris arXiv preprint arXiv:1704.02003, 2017 | | 2017 |
Correctness 2022 Workshop Organization I Laguna–LLNL, CRGUC Davis, V Joseph, S Mukherjee, S Pollard | | |