Search

• < Previous
• 1
• Next >

---

On Thin Air Reads: Towards an Event Structures Model of Relaxed Memory

Alan Jeffrey ; James Riely.

To model relaxed memory, we propose confusion-free event structures over an alphabet with a justification relation. Executions are modeled by justified configurations, where every read event has a justifying write event. Justification alone is too weak a criterion, since it allows cycles of the kind&nbsp;[&hellip;]

---

Lambda-RBAC: Programming with Role-Based Access Control

Radha Jagadeesan ; Alan Jeffrey ; Corin Pitcher ; James Riely.

We study mechanisms that permit program components to express role constraints on clients, focusing on programmatic security mechanisms, which permit access controls to be expressed, in situ, as part of the code realizing basic functionality. In this setting, two questions immediately arise: (1) The&nbsp;[&hellip;]

---