| 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 | 36 | 2018 |
| A comparison of parallel graph processing implementations SD Pollard, B Norris 2017 IEEE International Conference on Cluster Computing (CLUSTER), 657-658, 2017 | 14 | 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 | 5 | 2022 |
| 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 | 4 | 2022 |
| 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 | 2 | 2019 |
| A Formal Model for Portable, Heterogeneous Accelerator Programming ZJ Sullivan, SD Pollard Festschrift for Vivek Sarkar (VIVEKFEST 2024), 2024 | 1 | 2024 |
| 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 | 1 | 2022 |
| When Does a Bit Matter? Techniques for Verifying the Correctness of Assembly Languages and Floating-Point Programs SD Pollard Computer and Information Science, 2021 | 1 | 2021 |
| 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 |
| 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 |
| A Step-Function Abstract Domain for Granular Floating-Point Error Analysis A Dario, SD Pollard Proceedings of the 10th ACM SIGPLAN International Workshop on Numerical and …, 2024 | | 2024 |
| The First Tri-Lab Workshop on Formal Verification: Capabilities, Challenges, Research Opportunities, and Exemplars SD Pollard, JM Aytac, AE Kellison, I Laguna, S Nedunuri, SA Reis, ... Sandia National Lab.(SNL-CA), Livermore, CA (United States), 2024 | | 2024 |
| 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 |
| 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 2024: Eighth International Workshop on Software Correctness for HPC Applications A Altuntas, AH Baker, J Baugh, P Carribault, F CEA-DAM, ... | | |
Boyana NorrisAI Compiler Engineer, Tsavorite Intelligence Inc.在 cs.uoregon.edu 的电子邮件经过验证
