On the public citation graph
Vulcan: Hardware Support for Detecting Sequential Consistency Violations Dynamically
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.
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.1006/jpdc.1996.0136openalex-snapshot
Analyses and Optimizations for Shared Address Space Programs
inferredcites →https://doi.org/10.1007/11841036_61openalex-snapshot
An Improved Construction for Counting Bloom Filters
inferredcites →https://doi.org/10.1007/978-3-540-70545-1_12openalex-snapshot
Effective Program Verification for Relaxed Memory Models
inferredcites →https://doi.org/10.1007/978-3-642-19835-9_3openalex-snapshot
Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models
inferredcites →https://doi.org/10.1109/12.947002openalex-snapshot
Hiding relaxed memory consistency with a compiler
inferredcites →https://doi.org/10.1109/cgo.2009.29openalex-snapshot
Detecting and Eliminating Potential Violations of Sequential Consistency for Concurrent C/C++ Programs
inferredcites →https://doi.org/10.1109/hpca.2008.4658657openalex-snapshot
Runtime validation of memory ordering using constraint graph checking
inferredcites →https://doi.org/10.1109/hpca.2009.4798278openalex-snapshot
Dacota: Post-silicon validation of the memory subsystem in multi-core designs
inferredcites →https://doi.org/10.1109/isca.2005.25openalex-snapshot
Dynamic Verification of Sequential Consistency
inferredcites →https://doi.org/10.1109/tc.1979.1675439openalex-snapshot
How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
inferredcites →https://doi.org/10.1145/1065944.1065947openalex-snapshot
Compiler techniques for high performance sequentially consistent java programs
inferredcites →https://doi.org/10.1145/1080695.1070010openalex-snapshot
Dynamic Verification of Sequential Consistency
inferredcites →https://doi.org/10.1145/113379.113408openalex-snapshot
Detecting violations of sequential consistency
inferredcites →https://doi.org/10.1145/1250662.1250696openalex-snapshot
Mechanisms for store-wait-free multiprocessors
inferredcites →https://doi.org/10.1145/1250734.1250738openalex-snapshot
Automatically classifying benign and harmful data races using replay analysis
inferredcites →https://doi.org/10.1145/1555754.1555796openalex-snapshot
A case for an interleaving constrained shared-memory multi-processor
inferredcites →https://doi.org/10.1145/1854273.1854312openalex-snapshot
Efficient sequential consistency using conditional fences
inferredcites →https://doi.org/10.1145/2150976.2151006openalex-snapshot
Efficient sequential consistency via conflict ordering
inferredcites →https://doi.org/10.1145/42190.42277openalex-snapshot
Efficient and correct execution of parallel programs that share memory
inferredcites →https://doi.org/10.1145/782814.782854openalex-snapshot
Automatic fence insertion for shared memory multiprocessing
inferredcites →https://doi.org/10.5555/1924943.1924954openalex-snapshot
Breast feeding. An up-to-date review of the help available to nursing mothers in the Blackburn Health District.
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-319-49583-5_2openalex-snapshot
Hardware-Based Sequential Consistency Violation Detection Made Simpler
inferred← citeshttps://doi.org/10.1007/s11227-016-1691-1openalex-snapshot
DRDDR: a lightweight method to detect data races in Linux kernel
inferred← citeshttps://doi.org/10.1007/s13369-018-3226-yopenalex-snapshot
CHOMK: Concurrent Higher-Order Mutants Killing Using Genetic Algorithm
inferred← citeshttps://doi.org/10.1109/hpca.2016.7446069openalex-snapshot
SCsafe: Logging sequential consistency violations continuously and precisely
inferred← citeshttps://doi.org/10.1109/hpca.2016.7446099openalex-snapshot
McVerSi: A test generation framework for fast memory consistency verification in simulation
inferred← citeshttps://doi.org/10.1109/icinfa.2015.7279469openalex-snapshot
Concurrent program semantic mutation testing based on abstract memory model
inferred← citeshttps://doi.org/10.1109/isca.2014.6853225openalex-snapshot
Pacifier: Record and replay for relaxed-consistency multiprocessors with distributed directory protocol
inferred← citeshttps://doi.org/10.1109/issre.2016.48openalex-snapshot
Detecting, Exposing, and Classifying Sequential Consistency Violations
inferred← citeshttps://doi.org/10.1109/micro.2016.7783709openalex-snapshot
SABRes: Atomic object reads for in-memory rack-scale computing
inferred← citeshttps://doi.org/10.1109/qrs.2015.41openalex-snapshot
Uncertainty Analysis of Race Conditions in Real-Time Systems
inferred← citeshttps://doi.org/10.1145/2814270.2814286openalex-snapshot
AutoMO: automatic inference of memory order parameters for C/C++11
inferred← citeshttps://doi.org/10.1145/2858965.2814286openalex-snapshot
AutoMO: automatic inference of memory order parameters for C/C++11
inferred← citeshttps://doi.org/10.1145/3352460.3358266openalex-snapshot
Towards Efficient NVDIMM-based Heterogeneous Storage Hierarchy Management for Big Data Workloads
inferred← citeshttps://doi.org/10.3390/computers14030110openalex-snapshot
A Novel Approach to Efficiently Verify Sequential Consistency in Concurrent Programs
inferred← citeshttps://doi.org/10.4230/lipics.fsttcs.2013.127openalex-snapshot
A Theory of Partitioned Global Address Spaces
inferred← citeshttps://doi.org/10.5555/3241639.3241647openalex-snapshot
Characterizing real world bugs causing sequential consistency violations
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.