Akash Lal

Latest

• Automatically finding atomic regions for fixing bugs in Concurrent Programs
• Underspecified harnesses and interleaved bugs