@misc{indiciae8bcd760a4734,
  title = {Synthesizing Fine-Grained Synchronization Protocols for Implicit Monitors (Extended Version)},
  author = {Kostas Ferles and Benjamin Sepanski and Rahul Krishnan and James Bornholt and Isil Dillig},
  year = {2022},
  url = {https://arxiv.org/abs/2203.00783},
  note = {Source identifier: 2203.00783}
}