Under Construction
 
Home
Selected Publications
Some Talks
Research
Students
Courses
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)

Research

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