SPLASH 2014
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
Mooly Sagiv

Not registered as user yet

Name: Mooly Sagiv

Bio: Mooly (Shmuel) Sagiv is a Professor in the School of Computer Science at Tel Aviv University, Israel.

Research Interests: my research focuses broadly on easing the task of developing reliable and efficient programs via program analysis.

Current Research Projects include:

  • Shape Analysis. Inferring Properties of programs manipulating dynamically allocated data structures and pointers.
  • Effective Programming with Relations. Compiling Programs with Relations into low level programs manipulating dynamically allocated data structures and pointers.
  • Composing Concurrent Libraries. Easing the task of writing correct and efficient concurrent software using sophisticated libraries.

Affiliation: Tel Aviv University

Personal website: http://www.cs.tau.ac.il/~msagiv/

SPLASH 2014 Activities

SPLASH 2014-profile
View general profile