Guest: Prof. Kamal Lodaya

Prof. Kamal Lodaya from the Institute of Mathematical Science in Chennai, India visited the MAIS group on September 5, 2011. He gave a talk about "Fine-grained concurrency with separation logic".