Dr. Murali Krishna Seminar

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.

Links to tools created by the group

Get in touch with us

Education - This is a contributing Drupal Theme
Design by WeebPal.