Dr. Murali Krishna from IISc Bangalore, visited us for a seminar talk on 4th Jan 2017. He talked about the work he has done with his PhD student, Malvika Samak. Dr. Murali Krishna spoke on "Targeted Client Synthesis for Detecting Concurrency Bugs". Dr. Krishna explained the difference between random synthesis and targeted synthesis for assessing thread deadlocks.