The following pages link to The Java memory model (Q5276162):
Displayed 28 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)
- 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)
- 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)
- Operational semantics of a weak memory model with channel synchronization (Q5915975) (← links)
- Operational semantics of a weak memory model with channel synchronization (Q5918263) (← links)
- Sound concurrent traces for online monitoring (Q6049043) (← links)
- Making Linearizability Compositional for Partially Ordered Executions (Q6104493) (← links)
- Decidability of liveness for concurrent objects on the TSO memory model (Q6168984) (← links)