Checking Interference with Fractional Permissions

By John Tang Boyland. Sensors Applications Symposium, 2003

560 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Resources, Concurrency and Local Reasoning (2004, background): “An interesting approach to this issue of passivity has recently been put forward in Boyland’s work on fractional permissions [ 7 ].”
A type and effect system for deterministic parallel Java (2009, background): “variables (including cells in other index-parameterized arrays), unlike linear types [26, 12, 13].”
Permission accounting in separation logic (2005, methodology): “There are various components which can be executed concurrently, with varying degrees of mutual exclusion: the four uses of the binary mutex m; the reader prologue count := count +1...; the reader action section; the reader epilogue count := count - 1...; eight months since we .rst heard Boyl”
Smallfoot: Modular Automatic Assertion Checking with Separation Logic (2005, unknown): “It is useful to use the intuition of “permission to access” to describe this [9, 8]: the permission to access the pointer moves from the first to the second process along with the pointer value.”
RustBelt: securing the foundations of the rust programming language (2017, background): “In more complex variations, ownership can be shared between aliases, but only in a controlled manner ( e.g. , shared ownership only permits read access [Boyland 2003]).”