Not registered as user yet
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.
View general profile