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
View general profile