On the public citation graph
MPI‐CHECK: a tool for checking Fortran 90 MPI programs
0 signed · 80 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1016/0743-7315(92)90058-uopenalex-snapshot
Global conditions in debugging distributed programs
inferredcites →https://doi.org/10.1016/0898-1221(95)90199-xopenalex-snapshot
Using MPI: Portable parallel programming with the message-passing interface
inferredcites →https://doi.org/10.1109/ipps.1998.670012openalex-snapshot
Trace-driven debugging of message passing programs
inferredcites →https://doi.org/10.7551/mitpress/1556.003.0013openalex-snapshot
Parallel Programming with MPI
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-030-59851-8_3openalex-snapshot
Automatic Detection of MPI Assertions
inferred← citeshttps://doi.org/10.1007/978-3-319-48989-6_7openalex-snapshot
State-Space Reduction of Non-deterministically Synchronizing Systems Applicable to Deadlock Detection in MPI
inferred← citeshttps://doi.org/10.1007/978-3-540-30218-6_11openalex-snapshot
Verifying Collective MPI Calls
inferred← citeshttps://doi.org/10.1007/978-3-540-75416-9_46openalex-snapshot
Practical Model-Checking Method for Verifying Correctness of MPI Programs
inferred← citeshttps://doi.org/10.1007/978-3-642-11261-4_10openalex-snapshot
The Importance of Run-Time Error Detection
inferred← citeshttps://doi.org/10.1007/978-3-642-37349-7_3openalex-snapshot
MPI Runtime Error Detection with MUST: Advanced Error Reports
inferred← citeshttps://doi.org/10.1007/978-3-662-48096-0_3openalex-snapshot
MPI Thread-Level Checking for MPI+OpenMP Applications
inferred← citeshttps://doi.org/10.1007/s11227-020-03319-6openalex-snapshot
ELS: Emulation system for debugging and tuning large-scale parallel programs on small clusters
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.01.007openalex-snapshot
Gauss: A Framework for Verifying Scientific Computing Software
inferred← citeshttps://doi.org/10.1016/j.jlamp.2017.12.004openalex-snapshot
System-level state equality detection for the formal dynamic verification of legacy distributed applications
inferred← citeshttps://doi.org/10.1016/j.neucom.2019.06.039openalex-snapshot
An efficient real-time data collection framework on petascale systems
inferred← citeshttps://doi.org/10.1109/access.2020.2994172openalex-snapshot
ACC_TEST: Hybrid Testing Techniques for MPI-Based Programs
inferred← citeshttps://doi.org/10.1109/access.2025.3525578openalex-snapshot
Temporal-Logic-Based Testing Tool for Programs Using the Message Passing Interface (MPI) and Open Multi-Processing (OpenMP) Programming Models
inferred← citeshttps://doi.org/10.1109/cgo.2009.32openalex-snapshot
Communication-Sensitive Static Dataflow for Parallel Message Passing Applications
inferred← citeshttps://doi.org/10.1109/correctness.2018.00011openalex-snapshot
Compiler-aided Type Tracking for Correctness Checking of MPI Applications
inferred← citeshttps://doi.org/10.1109/correctness51934.2020.00010openalex-snapshot
Towards compiler-aided correctness checking of adjoint MPI applications
inferred← citeshttps://doi.org/10.1109/hpcc/smartcity/dss.2019.00096openalex-snapshot
An Efficient Data Collection Module on Petascale Systems
inferred← citeshttps://doi.org/10.1109/icpads60453.2023.00269openalex-snapshot
A Hybrid Approach for Detecting Bugs in HPC Workloads
inferred← citeshttps://doi.org/10.1109/icst53961.2022.00029openalex-snapshot
Symbolic Verification of Message Signatures in MPI
inferred← citeshttps://doi.org/10.1109/ipdps.2005.295openalex-snapshot
Monitoring and Debugging Parallel Software with BCS-MPI on Large-Scale Clusters
inferred← citeshttps://doi.org/10.1109/ipdps.2012.123openalex-snapshot
GTI: A Generic Tools Infrastructure for Event-Based Tools in Parallel Systems
inferred← citeshttps://doi.org/10.1109/ipdps.2012.40openalex-snapshot
SyncChecker: Detecting Synchronization Errors between MPI Applications and Libraries
inferred← citeshttps://doi.org/10.1109/ipdps.2012.41openalex-snapshot
Holistic Debugging of MPI Derived Datatypes
inferred← citeshttps://doi.org/10.1109/ipdps.2015.15openalex-snapshot
A Scalable Prescriptive Parallel Debugging Model
inferred← citeshttps://doi.org/10.1109/ipdpsw.2010.5470683openalex-snapshot
Scalable verification of MPI programs
inferred← citeshttps://doi.org/10.1109/ispdc52870.2021.9521645openalex-snapshot
OpenSHMEM Checker - A Clang Based Static Checker for OpenSHMEM
inferred← citeshttps://doi.org/10.1109/issre.2017.15openalex-snapshot
Experience Report: Verifying MPI Java Programs Using Software Model Checking
inferred← citeshttps://doi.org/10.1109/iti.2008.4588520openalex-snapshot
Load balancing MPI algorithm for high throughput applications
inferred← citeshttps://doi.org/10.1109/pdp.2015.95openalex-snapshot
System-Level State Equality Detection for the Formal Dynamic Verification of Legacy Distributed Applications
inferred← citeshttps://doi.org/10.1109/sc.2010.27openalex-snapshot
FlowChecker: Detecting Bugs in MPI Libraries via Message Flow Checking
inferred← citeshttps://doi.org/10.1109/sc.2012.79openalex-snapshot
MPI runtime error detection with MUST: Advances in deadlock detection
inferred← citeshttps://doi.org/10.1109/tpds.2012.127openalex-snapshot
Improving the Reliability of MPI Libraries via Message Flow Checking
inferred← citeshttps://doi.org/10.1109/tpds.2022.3157690openalex-snapshot
Jdebug: A Fast, Non-Intrusive and Scalable Fault Locating Tool for Ten-Million-Scale Parallel Applications
inferred← citeshttps://doi.org/10.1109/vpa.2014.8openalex-snapshot
CommGram: A New Visual Analytics Tool for Large Communication Trace Data
inferred← citeshttps://doi.org/10.1145/1062455.1062609openalex-snapshot
Second international workshop on software engineering for high performance computing system applications
inferred← citeshttps://doi.org/10.1145/1145319.1145342openalex-snapshot
Automated, scalable debugging of MPI programs with Intel® Message Checker
inferred← citeshttps://doi.org/10.1145/1147403.1147409openalex-snapshot
Improving distributed memory applications testing by message perturbation
inferred← citeshttps://doi.org/10.1145/1273647.1273654openalex-snapshot
Techniques for specifying bug patterns
inferred← citeshttps://doi.org/10.1145/1504176.1504214openalex-snapshot
Formal verification of practical MPI programs
inferred← citeshttps://doi.org/10.1145/1594835.1504214openalex-snapshot
Formal verification of practical MPI programs
inferred← citeshttps://doi.org/10.1145/2488551.2488555openalex-snapshot
Combining static and dynamic validation of MPI collective communications
inferred← citeshttps://doi.org/10.1145/2503210.2503237openalex-snapshot
Distributed wait state tracking for runtime MPI deadlock detection
inferred← citeshttps://doi.org/10.1145/2966884.2966906openalex-snapshot
Runtime Correctness Analysis of MPI-3 Nonblocking Collectives
inferred← citeshttps://doi.org/10.1145/3143359openalex-snapshot
Deadlock avoidance in parallel programs with futures: why parallel tasks should not wait for strangers
inferred← citeshttps://doi.org/10.1145/3310273.3322824openalex-snapshot
MP net as abstract model of communication for message-passing applications
inferred← citeshttps://doi.org/10.1145/3437801.3441616openalex-snapshot
An ownership policy and deadlock detector for promises
inferred← citeshttps://doi.org/10.1155/2013/314971openalex-snapshot
MPI Runtime Error Detection with MUST: Advances in Deadlock Detection
inferred← citeshttps://doi.org/10.11606/d.55.2013.tde-10062013-103319openalex-snapshot
Teste de mutação aplicado a programas concorrentes em MPI
inferred← citeshttps://doi.org/10.11606/t.55.2018.tde-10102018-141934openalex-snapshot
Search based software testing for the generation of synchronization sequences for mutation testing of concurrent programs
inferred← citeshttps://doi.org/10.1177/1094342014552204openalex-snapshot
PARCOACH: Combining static and dynamic validation of MPI collective communications
inferred← citeshttps://doi.org/10.14210/cotb.v11n1.p245-252openalex-snapshot
Taxonomia de Falhas em Programas Concorrentes em Elixir
inferred← citeshttps://doi.org/10.25534/tuprints-00011522openalex-snapshot
Compiler Support for Operator Overloading and Algorithmic Differentiation in C++
inferred← citeshttps://doi.org/10.32604/cmc.2023.033928openalex-snapshot
A Parallel Hybrid Testing Technique for Tri-Programming Model-Based Software Systems
inferred← citeshttps://doi.org/10.3390/sym12091555openalex-snapshot
Parallel Hybrid Testing Techniques for the Dual-Programming Models-Based Programs
inferred← citeshttps://doi.org/10.4018/978-1-60960-215-4.ch016openalex-snapshot
Analyzing Concurrent Programs Title for Potential Programming Errors
inferred← citeshttps://doi.org/10.48550/arxiv.0709.3689openalex-snapshot
Static Deadlock Detection in MPI Synchronization Communication
inferred← citeshttps://doi.org/10.48550/arxiv.1311.0728openalex-snapshot
To parallelize or not to parallelize, bugs issue
inferred← citeshttps://doi.org/10.48550/arxiv.1311.0864openalex-snapshot
Two automated techniques for analyzing and debugging Mpi-based programs
inferred← citeshttps://doi.org/10.5075/epfl-thesis-4274openalex-snapshot
Performance prediction and race detection in message-passing parallel applications
inferred← citeshttps://doi.org/10.5815/ijcnis.2015.01.01openalex-snapshot
An Algorithm for Static Tracing of Message Passing Interface Programs Using Data Flow Analysis
inferred← citeshttps://doi.org/10.70675/10b13fc8zdcd6z4420zbb76z18ea92c8c56fopenalex-snapshot
Static/Dynamic Analyses for Validation and Improvements of Multi-Model HPC Applications.
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.