Automatically finding atomic regions for fixing bugs in Concurrent Programs admin, Akash Lal Last updated on Nov 15, 2021 PDF Cite Formal Verification Automated Program Repair