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.
|SPLASH 2014||Committee Member in External Review Committee within the OOPSLA-track|
|Show activities from other conferences|
View general profile