SANKARNARAYANAN SRIRAM

System and method for generating error traces for concurrency bugs