COLLOQUIUM LECTURE - Parallelizing Inherently Sequential Computations by Breaking Dependences Precisely

Speaker:
Madan Musuvathi
Date:
Tuesday, 18.12.2018, 14:30
Place:
Room 337 Taub Bld.
Affiliation:
Microsoft Research
Host:
Roy Schwartz

Abstract:
TBA

Short Bio: Madas Musuvathi is a Principal Researcher in the Research in Software Engineering group at Microsoft Research. His research focus is on scalable analysis of concurrent systems. More broadly, his interests include systems, program analysis, model checking, verification, and theorem proving. He spend a lot of time at Microsoft building analysis tools to improve the productivity of software developers and testers. His current research projects include: Efficient Parallel Algorithms, End to End Sequential Consistency, Concurrency Fuzzing, Memory Models, CHESS. He obtained my M.S. and Ph.D. at Stanford University, where he worked under the guidance of Prof. David L. Dill and Prof. Dawson Engler. Before that, He got my B.Tech. in Computer Science from the Indian Institute of Technology (IIT), Chennai (which was then called Madras).

Back to the index of events