VMCAI
Sun 17 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
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
Research interests:Compilers, Program Analysis, Verification

Contributions

POPL 2016 Decidability of Inferring Inductive Invariants
Session Chair of Track 1: Foundations of distributed systems (part of Research Papers)
Show activities from other conferences

POPL 2016-profile
View general profile