TY  - RPRT
TI  - Synthesizing Fine-Grained Synchronization Protocols for Implicit Monitors (Extended Version)
AU  - Kostas Ferles
AU  - Benjamin Sepanski
AU  - Rahul Krishnan
AU  - James Bornholt
AU  - Isil Dillig
PY  - 2022
UR  - https://arxiv.org/abs/2203.00783
ID  - 2203.00783
ER  -