Don’t sit on the fence: A static analysis approach to automatic fence insertion

Don’t sit on the fence: A static analysis approach to automatic fence insertion

Show other versions (1)

Modern architectures rely on memory fences to prevent undesired weakenings of memory consistency. As the fences’ semantics may be subtle, the automation of their placement is highly desirable. But precise methods for restoring consistency do not scale to deployed systems code. We choose to trade som...

Fuld beskrivelse

Bibliografiske detaljer
Main Authors:	Kroening, D, Alglave, J, Nimal, V, Poetzl, D
Format:	Journal article
Udgivet:	Association for Computing Machinery 2017

Lignende værker

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

Don't sit on the fence: A static analysis approach to automatic fence insertion
Udgivet: (2014)

Don't Fence Me In: Barricade Sociality and Political Struggles in Mexico and Latvia
af: Dzenovska, D, et al.
Udgivet: (2012)

Property-driven fence insertion using reorder bounded model checking
af: Joshi, S, et al.
Udgivet: (2015)

Property-Driven Fence Insertion using Reorder Bounded Model Checking
af: Joshi, S, et al.
Udgivet: (2015)

Heifers don't care: no evidence of negative impact on animal welfare of growing heifers when using virtual fences compared to physical fences for grazing
af: D. Hamidi, et al.
Udgivet: (2022-09-01)

Don't stop me now: Managed fence gaps could allow migratory ungulates to track dynamic resources and reduce fence related energy loss
af: Robert Hering, et al.
Udgivet: (2022-07-01)

Fences
af: 8096 British Standards Institution

fences
af: Elena Grigoryeva
Udgivet: (2013-05-01)

Situation fencing: making geo-fencing personal and dynamic
af: Pongpaichet, Siripen, et al.
Udgivet: (2014)

Handbook of Florida Fence and Property Law: Fence Contracts
af: Christopher A. Hill, et al.
Udgivet: (2022-10-01)

Handbook of Florida Fence and Property Law: Duty to Fence
af: Michael T. Olexa, et al.
Udgivet: (2022-10-01)

Handbook of Florida Fence and Property Law: Fence Contracts
af: Christopher A. Hill, et al.
Udgivet: (2022-10-01)

Handbook of Florida Fence and Property Law: Duty to Fence
af: Michael T. Olexa, et al.
Udgivet: (2022-10-01)

ACROSS THE FENCE
af: Hewstone, M
Udgivet: (1981)

Learning fencing /
af: 323224 Barth, Berndt, et al.
Udgivet: (c200)

Foil fencing /
af: 371341 Bower, Muriel
Udgivet: (1997)

Training fencing /
af: 271111 Barth, Bernd, et al.
Udgivet: (2003)

Timber fencing/
af: 10769 Timber Research and Development Association (Great Britain)
Udgivet: (1978)

Timber fencing /
Udgivet: (1987)

Fencing on Instagram:
af: Admilson Veloso da Silva, et al.
Udgivet: (2023-12-01)

Fencing Fears
af: Jen Scott
Udgivet: (2019-07-01)

No-Fence Philosophy
af: Konstantin Lidin
Udgivet: (2013-09-01)

Japanese fences
af: Dimitri Malko
Udgivet: (2013-05-01)

Wildlife friendly fence designs and elk fence crossing behavior
af: Darcy R. Visscher, et al.
Udgivet: (2023-03-01)

Fence-Sitting and an Opportunity to Unsettle the Settled: Placing Critical Pressure on Creative Holography
af: Andrew Pepper
Udgivet: (2020-03-01)

Advancing fence datasets: Comparing approaches to map fence locations and specifications in southwest Montana
af: Simon A. Buzzard, et al.
Udgivet: (2022-11-01)

In Defense of Fence to Fence: Can the Backward Bending Supply Curve Exist?
af: Richard E. Just, et al.
Udgivet: (1992-12-01)

Virtual Fencing Is Comparable to Electric Tape Fencing for Cattle Behavior and Welfare
af: Dana L. M. Campbell, et al.
Udgivet: (2019-12-01)

The phenomenon of anticipation in fencing. An applicability approach
af: Zbigniew Borysiuk, et al.
Udgivet: (2024-04-01)

Thinking outside the fence
af: Sampson, R
Udgivet: (2013)

Boundaries, walls and fences /
af: 380216 Aldridge, Trevor M.
Udgivet: (1986)

Livestock Fence Construction
af: Reyna Speckmann, et al.
Udgivet: (2009-12-01)

Home fencing laser /
af: Haryati Salehin, 1990-, et al.
Udgivet: (2011)

The complete guide to fencing /
af: Barth, Berndt, et al.
Udgivet: (2007)

Boundaries, walls and fences /
af: 380216 Aldridge, Trevor M.
Udgivet: (1978)

Boundaries, walls and fences /
af: 380216 Aldridge, Trevor M.
Udgivet: (2004)

Fencing : steps to success /
af: 421340 Cheris, Elaine
Udgivet: (2002)

Livestock Fence Construction
af: Reyna Speckmann, et al.
Udgivet: (2009-12-01)

Livestock Fence Construction
af: Reyna Speckmann, et al.
Udgivet: (2009-12-01)