On the public citation graph

Deadlock detection in MPI programs

https://doi.org/10.1002/cpe.701
0 signed · 57 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.
Claim with ORCID
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.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1002/cpe.705openalex-snapshot
MPI‐CHECK: a tool for checking Fortran 90 MPI programs
inferredcites →https://doi.org/10.1109/ccgrid.2001.923222openalex-snapshot
A preliminary topological debugger for MPI programs
inferredcites →https://doi.org/10.1109/sc.2000.10055openalex-snapshot
Dynamic Software Testing of MPI Applications with Umpire
inferredcites →https://doi.org/10.1109/spdp.1995.530730openalex-snapshot
Efficient race detection for message-passing programs with nonblocking sends and receives

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/cpe.1248openalex-snapshot
A definition of and linguistic support for partial quiescence
inferred← citeshttps://doi.org/10.1002/cpe.889openalex-snapshot
Lightweight monitoring of MPI programs in real time
inferred← citeshttps://doi.org/10.1007/11823285_68openalex-snapshot
Toward a Definition of and Linguistic Support for Partial Quiescence
inferred← citeshttps://doi.org/10.1007/11846802_21openalex-snapshot
Correctness Checking of MPI One-Sided Communication Using Marmot
inferred← citeshttps://doi.org/10.1007/978-3-030-80119-9_10openalex-snapshot
Orca: A Software Library for Parallel Computation of Symbolic Expressions via Remote Evaluation on MPI Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-06410-9_19openalex-snapshot
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs
inferred← citeshttps://doi.org/10.1007/978-3-319-95582-7_28openalex-snapshot
Dynamic Symbolic Verification of MPI Programs
inferred← citeshttps://doi.org/10.1007/978-3-540-24688-6_61openalex-snapshot
MPI Application Development Using the Analysis Tool MARMOT
inferred← citeshttps://doi.org/10.1007/978-3-540-30208-7_21openalex-snapshot
Ad Hoc Debugging Environment for Grid Applications
inferred← citeshttps://doi.org/10.1007/978-3-540-30218-6_36openalex-snapshot
MPI I/O Analysis and Error Detection with MARMOT
inferred← citeshttps://doi.org/10.1007/978-3-540-68564-7_5openalex-snapshot
MPI Correctness Checking with Marmot
inferred← citeshttps://doi.org/10.1007/978-3-540-79561-2_3openalex-snapshot
Detection of Violations to the MPI Standard in Hybrid OpenMP/MPI Applications
inferred← citeshttps://doi.org/10.1007/978-3-642-11261-4_5openalex-snapshot
MUST: A Scalable Approach to Runtime Error Detection in MPI Programs
inferred← citeshttps://doi.org/10.1007/978-3-642-11957-6_22openalex-snapshot
Deadlock-Free Channels and Locks
inferred← citeshttps://doi.org/10.1007/978-3-642-35606-3_20openalex-snapshot
dMPI: Facilitating Debugging of MPI Programs via Deterministic Message Passing
inferred← citeshttps://doi.org/10.1007/s00450-012-0214-4openalex-snapshot
UPC-CHECK: a scalable tool for detecting run-time errors in Unified Parallel C
inferred← citeshttps://doi.org/10.1007/s10766-009-0099-4openalex-snapshot
MPI Correctness Checking for OpenMP/MPI Applications
inferred← citeshttps://doi.org/10.1007/s11390-020-9701-4openalex-snapshot
MPI-RCDD: A Framework for MPI Runtime Communication Deadlock Detection
inferred← citeshttps://doi.org/10.1007/s11704-020-0190-yopenalex-snapshot
User-level failure detection and auto-recovery of parallel programs in HPC systems
inferred← citeshttps://doi.org/10.1016/s0927-5452(04)80063-7openalex-snapshot
MARMOT: An MPI analysis and checking tool
inferred← citeshttps://doi.org/10.1023/b:grid.0000024071.12177.91openalex-snapshot
Towards Efficient Execution of MPI Applications on the Grid: Porting and Optimization Issues
inferred← citeshttps://doi.org/10.1051/proc/201343010openalex-snapshot
ComPASS : a tool for distributed parallel finite volume discretizations on general unstructured polyhedral meshes
inferred← citeshttps://doi.org/10.1080/1206212x.2006.11441784openalex-snapshot
Concurrent Deadlock Detection In Parallel Programs
inferred← citeshttps://doi.org/10.1109/access.2018.2882394openalex-snapshot
A Lightweight and Flexible Tool for Distinguishing Between Hardware Malfunctions and Program Bugs in Debugging Large-Scale Programs
inferred← citeshttps://doi.org/10.1109/access.2020.2975832openalex-snapshot
FT-PBLAS: PBLAS-Based Fault-Tolerant Linear Algebra Computation on High-performance Computing 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/cgo.2013.6495001openalex-snapshot
Automatically exploiting cross-invocation parallelism using runtime information
inferred← citeshttps://doi.org/10.1109/cgo57630.2024.10444835openalex-snapshot
Unveiling and Vanquishing Goroutine Leaks in Enterprise Microservices: A Dynamic Analysis Approach
inferred← citeshttps://doi.org/10.1109/hase.2015.35openalex-snapshot
MPISE: Symbolic Execution of MPI Programs
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/icppw.2016.36openalex-snapshot
Evaluation of an MPI-Based Implementation of the Tascell Task-Parallel Language on Massively Parallel Systems
inferred← citeshttps://doi.org/10.1109/ipdps.2018.00096openalex-snapshot
COMPI: Concolic Testing for MPI Applications
inferred← citeshttps://doi.org/10.1109/ipdpsw.2018.00076openalex-snapshot
Non-intrusively Avoiding Scaling Problems in and out of MPI Collectives
inferred← citeshttps://doi.org/10.1109/itcc.2004.1286585openalex-snapshot
Detecting anomalies in high-performance parallel programs
inferred← citeshttps://doi.org/10.1109/mm.2008.13openalex-snapshot
Revisiting the Sequential Programming Model for the Multicore Era
inferred← citeshttps://doi.org/10.1109/pact.2007.4336199openalex-snapshot
Speculative Decoupled Software Pipelining
inferred← citeshttps://doi.org/10.1109/pact.2007.66openalex-snapshot
Speculative Decoupled Software Pipelining
inferred← citeshttps://doi.org/10.1145/1065944.1065957openalex-snapshot
Modeling wildcard-free MPI programs for verification
inferred← citeshttps://doi.org/10.1145/1159733.1159785openalex-snapshot
Identifying domain-specific defect classes using inspections and change history
inferred← citeshttps://doi.org/10.1145/1378533.1378585openalex-snapshot
Dreadlocks
inferred← citeshttps://doi.org/10.1145/1542275.1542319openalex-snapshot
A graph based approach for MPI deadlock detection
inferred← citeshttps://doi.org/10.1145/2488551.2488570openalex-snapshot
Runtime MPI collective checking with tree-based overlay networks
inferred← citeshttps://doi.org/10.1145/2503210.2503237openalex-snapshot
Distributed wait state tracking for runtime MPI deadlock detection
inferred← citeshttps://doi.org/10.1145/2771783.2771790openalex-snapshot
When truth is efficient: analysing concurrency
inferred← citeshttps://doi.org/10.1145/3095075openalex-snapshot
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs
inferred← citeshttps://doi.org/10.1145/3126908.3126938openalex-snapshot
Parastack
inferred← citeshttps://doi.org/10.2316/journal.202.2006.1.202-1383openalex-snapshot
CONCURRENT DEADLOCK DETECTION IN PARALLEL PROGRAMS
inferred← citeshttps://doi.org/10.3233/978-1-60750-530-3-693openalex-snapshot
An Interface for Integrated MPI Correctness Checking
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.32604/cmc.2024.047392openalex-snapshot
Static Analysis Techniques for Fixing Software Defects in MPI-Based Parallel Programs
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.5555/2819009.2819178openalex-snapshot
Symbolic execution of MPI programs
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.