15 citations · 20 across the 2 of their papers we have counts for
3 papers
cs.PL2017★ 15 cited
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…
cs.PL2014★ 5 cited
Between Linearizability and Quiescent Consistency: Quantitative Quiescent Consistency
Radha Jagadeesan, James Riely
Linearizability is the de facto correctness criterion for concurrent data structures. Unfortunately, linearizability imposes a performance penalty which scales linearly in the numb…
cs.PL2008
Lambda-RBAC: Programming with Role-Based Access Control
Radha Jagadeesan, Alan Jeffrey, Corin Pitcher +1
We study mechanisms that permit program components to express role constraints on clients, focusing on programmatic security mechanisms, which permit access controls to be expresse…