Dynamic Contract Analysis for Parallel Programming Models
- 1 May 2026
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 270-279
Abstract
No abstract availableAll Related Versions
This publication has 15 references indexed in Scilit:
- Extending the SPMD IR for RMA Models and Static Data Race Detection2025
- Verifying MPI API Usage Requirements with Contracts2025
- MPI-BugBench: A Framework for Assessing MPI Correctness Tools2024
- SPMD IR: Unifying SPMD and Multi-value IR Showcased for Static Verification of Collectives2024
- Detecting MPI Usage Anomalies via Partial Program Symbolic Execution2018
- MPI-checker2015
- CIVL2015
- The Parallel Research Kernels2014
- MUST: A Scalable Approach to Runtime Error Detection in MPI Programs2010
- LLVM: A compilation framework for lifelong program analysis & transformation2004