Selected Publications
Some Talks
Professional Activities
Personal Information

Professor Mooly (Shmuel) Sagiv

School of Computer Science, Tel Aviv University, msagiv at acm dot org
Mooly Sagiv

Courses (2013-2015)


My research focuses broadly on easing the task of developing reliable and efficient programs via program analysis. Current projects include:

More information on current and past research here.

Current Grants

  • 2013-18 Verifying and Synthesizing Software Compositions, ERC advanced grant
    We are looking for outstanding students with a solid background in programming languages, formal methods, and algorithms. Positions are available for PhD and postdoctoral studies. Only top students
    will be considered.
  • 2011-15 Enabling Software Scalability via Dynamic and Static Program Analysis Israel Science Foundation

Some Talks

  • Effectively-Propositional Reasoning About Reachability [.pptx], [.pdf]
  • Concurrent Data Representation SynthesisThe Strachey Lectures in Computing Science Oxford 2011. [.pptx], [.pdf]
  • COLT: Testing and Verifying Atomicity of Composed Operations IMDEA Software March 2012 [.pptx], [.pdf
  • TVLA: A system for inferring Quantified InvariantsSoftware Seminar at Stanford University 2008 [.ppt], [.pdf]

Recent Papers

Selected Publications