Presented at OOPSLA 2022 at SPLASH 2022 in Auckland, New Zealand. Writing correct fine-grained synchronization code for concurrent programs is notoriously hard and error-prone; this work presents a synthesis approach where, given a declarative specification of a monitor’s intended behavior, we automatically synthesize the correct synchronization protocol, eliminating a whole class of subtle concurrency bugs. This was joint work with Dr. Kostas Ferles, Rahul Krishnan, Dr. James Bornholt, and Dr. Işil Dillig.

Papers

The ideas in this talk are fully presented in the paper.