On the public citation graph

Report of the HPC Correctness Summit, January 25-26, 2017, Washington, DC

https://doi.org/10.2172/1470989
0 signed · 62 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.1007/11817963_38openalex-snapshot
CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools
inferredcites →https://doi.org/10.1007/978-3-540-75416-9_41openalex-snapshot
Retrospect: Deterministic Replay of MPI Applications for Interactive Distributed Debugging
inferredcites →https://doi.org/10.1007/978-3-642-38574-2_14openalex-snapshot
dReal: An SMT Solver for Nonlinear Theories over the Reals
inferredcites →https://doi.org/10.1007/s10817-012-9255-4openalex-snapshot
Wave Equation Numerical Resolution: A Comprehensive Mechanized Proof of a C Program
inferredcites →https://doi.org/10.1016/j.jpdc.2014.07.003openalex-snapshot
Kokkos: Enabling manycore performance portability through polymorphic memory access patterns
inferredcites →https://doi.org/10.1088/1742-6596/180/1/012055openalex-snapshot
Advances in petascale kinetic plasma simulation with VPIC and Roadrunner
inferredcites →https://doi.org/10.1109/32.588521openalex-snapshot
The model checker SPIN
inferredcites →https://doi.org/10.1109/dsn.2010.5544927openalex-snapshot
AutomaDeD: Automata-based debugging for dissimilar parallel tasks
inferredcites →https://doi.org/10.1109/dsn.2012.6263926openalex-snapshot
Automatic fault characterization via abnormality-enhanced classification
inferredcites →https://doi.org/10.1109/hpdc.2000.868632openalex-snapshot
Uintah: a massively parallel problem solving environment
inferredcites →https://doi.org/10.1109/icst.2016.37openalex-snapshot
Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service
inferredcites →https://doi.org/10.1109/ipdps.2007.370254openalex-snapshot
Stack Trace Analysis for Large Scale Debugging
inferredcites →https://doi.org/10.1109/jproc.2004.840306openalex-snapshot
SPIRAL: Code Generation for DSP Transforms
inferredcites →https://doi.org/10.1109/jproc.2004.840311openalex-snapshot
Synthesis of High-Performance Parallel Programs for a Class of ab Initio Quantum Chemistry Models
inferredcites →https://doi.org/10.1145/1089014.1089021openalex-snapshot
An overview of the Trilinos project
inferredcites →https://doi.org/10.1145/1188455.1188544openalex-snapshot
Molecular dynamics---Scalable algorithms for molecular dynamics simulations on commodity clusters
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/1362622.1362643openalex-snapshot
DMTracker
inferredcites →https://doi.org/10.1145/1375581.1375584openalex-snapshot
Race directed random testing of concurrent programs
inferredcites →https://doi.org/10.1145/1555754.1555783openalex-snapshot
Indirect adaptive routing on large scale interconnection networks
inferredcites →https://doi.org/10.1145/2063384.2063452openalex-snapshot
Efficient data race detection for distributed memory parallel programs
inferredcites →https://doi.org/10.1145/2093548.2093564openalex-snapshot
SAGE
inferredcites →https://doi.org/10.1145/2370816.2370848openalex-snapshot
Probabilistic diagnosis of performance faults in large-scale parallel applications
inferredcites →https://doi.org/10.1145/2408776.2408795openalex-snapshot
Symbolic execution for software testing
inferredcites →https://doi.org/10.1145/2464996.2465000openalex-snapshot
Scaling data race detection for partitioned global address space programs
inferredcites →https://doi.org/10.1145/2484762.2484779openalex-snapshot
Preliminary experiences with the uintah framework on Intel Xeon Phi and stampede
inferredcites →https://doi.org/10.1145/2491956.2462176openalex-snapshot
Halide
inferredcites →https://doi.org/10.1145/2509136.2509517openalex-snapshot
Barrier invariants
inferredcites →https://doi.org/10.1145/2594291.2594336openalex-snapshot
Accurate application progress analysis for large-scale parallel debugging
inferredcites →https://doi.org/10.1145/2667219openalex-snapshot
Debugging high-performance computing applications at massive scales
inferredcites →https://doi.org/10.1145/2699417openalex-snapshot
How Amazon web services uses formal methods
inferredcites →https://doi.org/10.1145/2737924.2737974openalex-snapshot
Helium: lifting high-performance stencil kernels from stripped x86 binaries to halide DSL code
inferredcites →https://doi.org/10.1145/2807591.2807605openalex-snapshot
Relative debugging for a highly parallel hybrid computer system
inferredcites →https://doi.org/10.1145/2807591.2807642openalex-snapshot
Clock delta compression for scalable order-replay of non-deterministic parallel applications
inferredcites →https://doi.org/10.1145/2851141.2851179openalex-snapshot
OPR
inferredcites →https://doi.org/10.1145/2854038.2854051openalex-snapshot
Validating optimizations of concurrent C/C++ programs
inferredcites →https://doi.org/10.1145/2854065.2854066openalex-snapshot
A unified Coq framework for verifying C programs with floating-point computations
inferredcites →https://doi.org/10.1145/2884781.2884850openalex-snapshot
Floating-point precision tuning using blame analysis
inferredcites →https://doi.org/10.1145/3009837.3009846openalex-snapshot
Rigorous floating-point mixed-precision tuning
inferredcites →https://doi.org/10.1145/3018743.3018767openalex-snapshot
Noise Injection Techniques to Expose Subtle and Unintended Message Races
inferredcites →https://doi.org/10.1145/360248.360252openalex-snapshot
Symbolic execution and program testing
inferredcites →https://doi.org/10.1145/503209.503226openalex-snapshot
Interface automata
inferredcites →https://doi.org/10.2172/1169830openalex-snapshot
The RAJA Portability Layer: Overview and Status
inferredcites →https://doi.org/10.5555/1855741.1855756openalex-snapshot
KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs
inferredcites →https://doi.org/10.5555/3014904.3014930openalex-snapshot
Pinpointing scale-dependent integer overflow bugs in large-scale parallel applications
inferredcites →https://doi.org/10.6084/m9.figshare.4680961openalex-snapshot
Understanding Software: Recent Lessons from Empirical Software Engineering

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-17872-7_10openalex-snapshot
ParLoT: Efficient Whole-Program Call Tracing for HPC Applications
inferred← citeshttps://doi.org/10.1007/978-3-030-62822-2_10openalex-snapshot
Symbolic Verification of MPI Programs with Non-deterministic Synchronizations
inferred← citeshttps://doi.org/10.1007/978-3-030-71374-4_2openalex-snapshot
Axiom Based Testing for Fun and Pedagogy
inferred← citeshttps://doi.org/10.1007/978-3-031-31445-2_5openalex-snapshot
An HPC Practitioner’s Workbench for Formal Refinement Checking
inferred← citeshttps://doi.org/10.1007/978-3-319-99725-4_14openalex-snapshot
Verifying Properties of Differentiable Programs
inferred← citeshttps://doi.org/10.1016/j.simpa.2021.100151openalex-snapshot
ANACIN-X: A software framework for studying non-determinism in MPI applications
inferred← citeshttps://doi.org/10.1109/cluster.2019.8891027openalex-snapshot
DiffTrace: Efficient Whole-Program Trace Analysis and Diffing for Debugging
inferred← citeshttps://doi.org/10.1109/eduhpc.2018.00011openalex-snapshot
Towards Developing a Repository of Logical Errors Observed in Parallel Code for Teaching Code Correctness
inferred← citeshttps://doi.org/10.1109/sc.2018.00066openalex-snapshot
Detecting MPI Usage Anomalies via Partial Program Symbolic Execution
inferred← citeshttps://doi.org/10.1109/tpds.2021.3081530openalex-snapshot
Identifying Degree and Sources of Non-Determinism in MPI Applications Via Graph Kernels
inferred← citeshttps://doi.org/10.1145/3145344.3145488openalex-snapshot
Towards Self-Verification in Finite Difference Code Generation
inferred← citeshttps://doi.org/10.1145/3736112.3736144openalex-snapshot
Array Programming on GPUs: Challenges and Opportunities
inferred← citeshttps://doi.org/10.1145/3797905.3807863openalex-snapshot
Harnessing MPI mutations for AI error detection
inferred← citeshttps://doi.org/10.1177/10943420231166610openalex-snapshot
A Survey of Graph Comparison Methods with Applications to Nondeterminism in High-Performance Computing
inferred← citeshttps://doi.org/10.5555/3291656.3291740openalex-snapshot
Detecting MPI usage anomalies via partial program symbolic execution
inferred← citeshttps://doi.org/10.70675/7c693e77z7b55z4e31zac54z427635398953openalex-snapshot
Static Analysis for BSPlib 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.