Our paper titled “Synthesizing Fine-Grained Synchronization Protocols for Implicit Monitors” will appear at OOPSLA’22. You can read it here (extended version). You can access the paper’s artifact here.