Home
Selected Publications
Some Talks
Research
Students
Grants
Courses
Professional Activities
Personal Information

Professor Mooly (Shmuel) Sagiv


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

Courses (2013-2014)

Research

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