ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic
Mooly Sagiv

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:

Research interests: Compilers, Program Analysis, Verification


ECOOP 2015Presenter of Verifying Correctness of Statefull Networks within the Summer School-track
Show activities from other conferences

ECOOP 2015-profile
View general profile