Under Construction
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 (2012-2013)


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

More information on current and past research here.

Some Talks

  • Concurrent Data Representation SynthesisMicrosoft Research Cambridge August 2012 2011. [.pptx], [.pdf] Recorded Talk
  • 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 [.pptx], [.pdf

Recent Papers

Selected Publications