Login / Signup

Synthesizing fine-grained synchronization protocols for implicit monitors.

Kostas FerlesBenjamin SepanskiRahul KrishnanJames BornholtIsil Dillig
Published in: Proc. ACM Program. Lang. (2022)
Keyphrases
  • fine grained
  • coarse grained
  • access control
  • tightly coupled
  • massively parallel
  • design principles
  • chaotic systems
  • data provenance