28 citations · 37 across the 12 of their papers we have counts for
4 papers · 1 filter
Game Semantics for Higher-Order Unitary Quantum Computation
Samson Abramsky, Radha Jagadeesan
We develop a symmetric monoidal closed category of games, incorporating sums and products, to model quantum computation at higher types. This model is expressive, capable of repres…
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…
TCC, with History
Vijay Saraswat, Radha Jagadeesan, Vineet Gupta
Modern computer systems are awash in a sea of asynchronous events. There is an increasing need for a declarative language that can permit business users to specify complex event-pr…
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…