
Not registered as user yet
Name: Mooly Sagiv
Bio: Mooly serves as Member of the Advisory Board at Panaya Inc. He is a Senior Member of staff in the Computer Sciences Department School of Mathematical Sciences Tel-Aviv University. A leading scientist in large scale (inter-procedural) program analysis, his fields of interests include Programming Languages, Compilers, Abstract interpretation, Profiling, Pointer Analysis, Shape Analysis, Inter-procedural dataflow analysis, Program Slicing, Language-based programming environments.
Country: Israel
Affiliation: Tel Aviv University
Personal website: http://www.math.tau.ac.il/~msagiv/
Research interests: Compilers, Program Analysis, Verification
Contributions
PLDI 2016 | Committee Member in External Program Committee Ivy: Safety Verification by Interactive Generalization | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
PLDI 2016-profile
View general profile
View general profile