Login / Signup
Synthesizing Fine-Grained Synchronization Protocols for Implicit Monitors.
Kostas Ferles
Benjamin Sepanski
Rahul Krishnan
James Bornholt
Isil Dillig
Published in:
CoRR (2022)
Keyphrases
</>
fine grained
coarse grained
access control
tightly coupled
massively parallel
user intent
pairwise
chaotic systems