Soundness of Data Flow Analyses for Weak Memory Models

Soundness of Data Flow Analyses for Weak Memory Models

Show other versions (2)

Bibliographic Details
Main Authors:	Alglave, J, Kroening, D, Lugton, J, Nimal, V, Tautschnig, M
Format:	Conference item
Published:	Springer 2011

Similar Items

Soundness of data flow analyses for weak memory models
by: Alglave, J, et al.
Published: (2011)

Soundness of Data Flow Analyses for Weak Memory Models
by: Alglave, J, et al.
Published: (2011)

Software Verification for Weak Memory via Program Transformation
by: Alglave, J, et al.
Published: (2013)

Software verification for weak memory via program transformation
by: Alglave, J, et al.
Published: (2013)

Partial orders for efficient bounded model checking of concurrent software
by: Alglave, J, et al.
Published: (2013)

Static analyses over weak memory
by: Nimal, V, et al.
Published: (2014)

Making Software Verification Tools Really Work
by: Alglave, J, et al.
Published: (2011)

Don't Sit on the Fence − A Static Analysis Approach to Automatic Fence Insertion
by: Alglave, J, et al.
Published: (2014)

Don’t sit on the fence: A static analysis approach to automatic fence insertion
by: Kroening, D, et al.
Published: (2017)

CBMC – C bounded model checker
by: Kroening, D, et al.
Published: (2014)

On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency
by: Horn, A, et al.
Published: (2015)

On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency
by: Horn, A, et al.
Published: (2015)

Model checking boot code from AWS data centers
by: Cook, B, et al.
Published: (2018)

GPU Concurrency: Weak Behaviours and Programming Assumptions
by: Alglave, J, et al.
Published: (2015)

V2c – A Verilog to C translator
by: Mukherjee, R, et al.
Published: (2016)

Numeric bounds analysis with conflict-driven learning
by: D'Silva, V, et al.
Published: (2012)

Constructing and evaluating weak memory models
by: Zhang, Sizhuo.
Published: (2019)

A spatial modeling approach for linguistic object data: analysing dialect sound variations across Great Britain
by: Tavakoli, S, et al.
Published: (2019)

Correctness of Concurrent Objects under Weak Memory Models
by: Graeme Smith, et al.
Published: (2018-10-01)

Sound numerical computations in abstract acceleration
by: Cattaruzza, D, et al.
Published: (2017)

Sound static deadlock analysis for C/Pthreads
by: Kroening, D, et al.
Published: (2016)

WMM : a resilient Weak Memory Model
by: Zhang, Sizhuo
Published: (2016)

Proving Reachability Using FShell - (Competition Contribution).
by: Holzer, A, et al.
Published: (2012)

Effective verification for low-level software with competing interrupts
by: Liang, L, et al.
Published: (2017)

Sounding Traumatic Memory
by: Martin Ringsmut
Published: (2024-11-01)

Sounds of silence: Data for analysing muted safety voice in speech
by: Mark C. Noort, et al.
Published: (2021-08-01)

AutoGater: a weakly supervised neural network model to gate cells in flow cytometric analyses
by: Mohammed Eslami, et al.
Published: (2024-10-01)

Federated Abnormal Heart Sound Detection with Weak to No Labels
by: Wanyong Qiu, et al.
Published: (2024-01-01)

Satisfiability Solvers are Static Analysers
by: D'Silva, V, et al.
Published: (2012)

Satisfiability solvers are static analysers
by: D'Silva, V, et al.
Published: (2012)

Sound static deadlock analysis for C/Pthreads (extended version)
by: Kroening, D, et al.
Published: (2016)

Formal co−validation of low−level hardware/software interfaces
by: Horn, A, et al.
Published: (2013)

Parameterized Model Checking Modulo Explicit Weak Memory Models
by: Sylvain Conchon, et al.
Published: (2018-05-01)

Sound Event Detection by Pseudo-Labeling in Weakly Labeled Dataset
by: Chungho Park, et al.
Published: (2021-12-01)

Weak Supervised Sound Event Detection Based on Puzzle CAM
by: Xichang Cai, et al.
Published: (2023-01-01)

Improved capsule routing for weakly labeled sound event detection
by: Haitao Li, et al.
Published: (2022-03-01)

The Virtues of Conflict: Analysing Modern Concurrency
by: Narayanswamy, G, et al.
Published: (2016)

Compact English for short-term students /
by: 323756 Lugton, Judy
Published: (1978)

Assisted coverage closure.
by: Nellis, A, et al.
Published: (2016)

Assisted coverage closure
by: Nellis, A, et al.
Published: (2016)