AutoSync Framework for Expressing Synchronization Intentions in Multithreaded Programs. - Jasmin Jahic; Matheus Bortoloti (SAMOS, 2024)