On the public citation graph
SyncChecker: Detecting Synchronization Errors between MPI Applications and Libraries
0 signed · 75 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.1002/cpe.705openalex-snapshot
MPI‐CHECK: a tool for checking Fortran 90 MPI programs
inferredcites →https://doi.org/10.1007/978-3-540-30218-6_19openalex-snapshot
Open MPI: Goals, Concept, and Design of a Next Generation MPI Implementation
inferredcites →https://doi.org/10.1007/978-3-540-39924-7_52openalex-snapshot
A Component Architecture for LAM/MPI
inferredcites →https://doi.org/10.1007/978-3-642-19595-2_14openalex-snapshot
Debugging Large Scale Applications in a Virtualized Environment
inferredcites →https://doi.org/10.1016/0167-8191(96)00024-5openalex-snapshot
A high-performance, portable implementation of the MPI message passing interface standard
inferredcites →https://doi.org/10.1016/j.jpdc.2004.03.012openalex-snapshot
Extending a traditional debugger to debug massively parallel applications
inferredcites →https://doi.org/10.1016/s0927-5452(04)80063-7openalex-snapshot
MARMOT: An MPI analysis and checking tool
inferredcites →https://doi.org/10.1109/dsn.2002.1029005openalex-snapshot
Pinpoint: problem determination in large, dynamic Internet services
inferredcites →https://doi.org/10.1109/dsn.2010.5544927openalex-snapshot
AutomaDeD: Automata-based debugging for dissimilar parallel tasks
inferredcites →https://doi.org/10.1109/ipdps.2007.370254openalex-snapshot
Stack Trace Analysis for Large Scale Debugging
inferredcites →https://doi.org/10.1109/ipdps.2008.4536310openalex-snapshot
Model-based fault localization in large-scale computing systems
inferredcites →https://doi.org/10.1109/micro.2004.3openalex-snapshot
AccMon: Automatically Detecting Memory-Related Bugs via Program Counter-Based Invariants
inferredcites →https://doi.org/10.1109/mm.2007.5openalex-snapshot
AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants
inferredcites →https://doi.org/10.1109/sc.2000.10055openalex-snapshot
Dynamic Software Testing of MPI Applications with Umpire
inferredcites →https://doi.org/10.1109/sc.2006.50openalex-snapshot
Problem Diagnosis in Large-Scale Computing Environments
inferredcites →https://doi.org/10.1109/sc.2010.27openalex-snapshot
FlowChecker: Detecting Bugs in MPI Libraries via Message Flow Checking
inferredcites →https://doi.org/10.1109/sc.2010.7openalex-snapshot
A Scalable and Distributed Dynamic Formal Verifier for MPI Programs
inferredcites →https://doi.org/10.1109/superc.1992.236665openalex-snapshot
NAS parallel benchmark results
inferredcites →https://doi.org/10.1109/tpds.2009.52openalex-snapshot
Toward Automated Anomaly Identification in Large-Scale Systems
inferredcites →https://doi.org/10.1145/1064978.1065013openalex-snapshot
A serializability violation detector for shared-memory server programs
inferredcites →https://doi.org/10.1145/1065010.1065013openalex-snapshot
A serializability violation detector for shared-memory server programs
inferredcites →https://doi.org/10.1145/1145319.1145342openalex-snapshot
Automated, scalable debugging of MPI programs with Intel® Message Checker
inferredcites →https://doi.org/10.1145/1165389.945454openalex-snapshot
Performance debugging for distributed systems of black boxes
inferredcites →https://doi.org/10.1145/1188455.1188548openalex-snapshot
Scalable systems software---Problem diagnosis in large-scale computing environments
inferredcites →https://doi.org/10.1145/1217935.1217972openalex-snapshot
Automated known problem diagnosis with event traces
inferredcites →https://doi.org/10.1145/1218063.1217972openalex-snapshot
Automated known problem diagnosis with event traces
inferredcites →https://doi.org/10.1145/1362622.1362667openalex-snapshot
Anomaly detection and diagnosis in grid environments
inferredcites →https://doi.org/10.1145/1542275.1542319openalex-snapshot
A graph based approach for MPI deadlock detection
inferredcites →https://doi.org/10.1145/1654059.1654104openalex-snapshot
Scalable temporal order analysis for large scale debugging
inferredcites →https://doi.org/10.1145/1669112.1669181openalex-snapshot
Finding concurrency bugs with context-aware communication graphs
inferredcites →https://doi.org/10.1145/231379.231391openalex-snapshot
Global communication analysis and optimization
inferredcites →https://doi.org/10.1145/277650.277723openalex-snapshot
Communication optimizations for parallel C programs
inferredcites →https://doi.org/10.1145/301104.301114openalex-snapshot
Compile/run-time support for threaded MPI execution on multiprogrammed shared memory machines
inferredcites →https://doi.org/10.1145/331532.331574openalex-snapshot
Improving online performance diagnosis by the use of historical performance data
inferredcites →https://doi.org/10.1145/359545.359563openalex-snapshot
Time, clocks, and the ordering of events in a distributed system
inferredcites →https://doi.org/10.1145/512529.512558openalex-snapshot
Extended static checking for Java
inferredcites →https://doi.org/10.1145/512529.512560openalex-snapshot
Efficient and precise datarace detection for multithreaded object-oriented programs
inferredcites →https://doi.org/10.1145/512557.512558openalex-snapshot
Extended static checking for Java
inferredcites →https://doi.org/10.1145/782814.782855openalex-snapshot
High performance RDMA-based MPI implementation over InfiniBand
inferredcites →https://doi.org/10.1145/945445.945454openalex-snapshot
Performance debugging for distributed systems of black boxes
inferredcites →https://doi.org/10.1177/1094342007077860openalex-snapshot
A Portable Method for Finding User Errors in the Usage of MPI Collective Operations
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-031-31445-2_6openalex-snapshot
MPIRace: A Static Data Race Detector for MPI Programs
inferred← citeshttps://doi.org/10.1007/978-3-319-43659-3_4openalex-snapshot
Nasty-MPI: Debugging Synchronization Errors in MPI-3 One-Sided Applications
inferred← citeshttps://doi.org/10.1007/s11227-018-2681-2openalex-snapshot
Consistency model for runtime objects in the Open Community Runtime
inferred← citeshttps://doi.org/10.1109/apsec.2014.28openalex-snapshot
Synchronization Error Detection of MPI Programs by Symbolic Execution
inferred← citeshttps://doi.org/10.1109/cgo.2013.6494979openalex-snapshot
Lightweight fault detection in parallelized 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/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/sc.2014.46openalex-snapshot
MC-Checker: Detecting Memory Consistency Errors in MPI One-Sided Applications
inferred← citeshttps://doi.org/10.1109/sc.2018.00066openalex-snapshot
Detecting MPI Usage Anomalies via Partial Program Symbolic Execution
inferred← citeshttps://doi.org/10.1145/2970276.2970309openalex-snapshot
Sound static deadlock analysis for C/Pthreads
inferred← citeshttps://doi.org/10.1145/3624062.3624089openalex-snapshot
Towards Correctness Checking of MPI Partitioned Communication in MUST
inferred← citeshttps://doi.org/10.1145/3671016.3674822openalex-snapshot
Efficient Deadlock Detection in MPI Programs with Path Compression and Focus Matching
inferred← citeshttps://doi.org/10.18293/seke2015-191openalex-snapshot
Integration testing criteria for mobile robotic systems
inferred← citeshttps://doi.org/10.48550/arxiv.1607.06927openalex-snapshot
Sound Static Deadlock Analysis for C/Pthreads (Extended Version)
inferred← citeshttps://doi.org/10.5555/3291656.3291740openalex-snapshot
Detecting MPI usage anomalies via partial program symbolic execution
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.