The following pages link to The Java memory model (Q5276162):
Displaying 33 items.
- Verification of STM on relaxed memory models (Q453508) (← links)
- Fences in weak memory models (Q453523) (← links)
- Weak atomicity for the x86 memory consistency model (Q455998) (← links)
- Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language (Q652158) (← links)
- Formal verification of a C-like memory model and its uses for verifying program transformations (Q945054) (← links)
- TSO-to-TSO linearizability is undecidable (Q1629746) (← links)
- An operational happens-before memory model (Q1712426) (← links)
- The decidability of verification under PS 2.0 (Q2233444) (← links)
- Partition consistency. A case study in modeling systems with weak memory consistency and proving correctness of their implementations (Q2256965) (← links)
- A formal hierarchy of weak memory models (Q2441720) (← links)
- Complete formal specification of the OpenMP memory model (Q2457959) (← links)
- Memory model sensitive bytecode verification (Q2461564) (← links)
- Observations on the assured evolution of concurrent Java programs (Q2575141) (← links)
- Studying Operational Models of Relaxed Concurrency (Q2830038) (← links)
- Java Memory Model-Aware Model Checking (Q2894274) (← links)
- Dataflow Analysis for Datarace-Free Programs (Q3000580) (← links)
- Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs (Q3000591) (← links)
- Toward a Formal Semantic Framework for Deterministic Parallel Programming (Q3095349) (← links)
- A Certified Data Race Analysis for a Java-like Language (Q3183531) (← links)
- CoqJVM: An Executable Specification of the Java Virtual Machine Using Dependent Types (Q3499747) (← links)
- (Q4413677) (← links)
- (Q4532091) (← links)
- Modular Relaxed Dependencies in Weak Memory Concurrency (Q5041113) (← links)
- Unifying Operational Weak Memory Verification: An Axiomatic Approach (Q5056374) (← links)
- A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs (Q5428915) (← links)
- Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model (Q5458814) (← links)
- The Java Memory Model: Operationally, Denotationally, Axiomatically (Q5756503) (← links)
- Operational semantics of a weak memory model with channel synchronization (Q5915975) (← links)
- Operational semantics of a weak memory model with channel synchronization (Q5918263) (← links)
- Making Linearizability Compositional for Partially Ordered Executions (Q6104493) (← links)
- Opportunistic monitoring of multithreaded programs (Q6535220) (← links)
- Interpreting knowledge-based programs (Q6535240) (← links)
- Model checking race-freedom when ``sequential consistency for data-race-free programs'' is guaranteed (Q6535538) (← links)
