Write a Blog >>
VMCAI 2017
Sun 15 - Tue 17 January 2017
co-located with POPL 2017
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: http://www.math.tau.ac.il/~msagiv/

Research interests: Compilers, Program Analysis, Verification


RDP 2017Author of Discussion within the RDP-track
Session Chair of Session II (part of RDP)
Author of Welcome within the RDP-track
Organizing Chair in Program Committee within the RDP-track
Session Chair of Welcome (part of RDP)
VMCAI 2017Author of Conjunctive Abstract Interpretation using Paramodulation within the VMCAI-track
Author of Property Directed Reachability for Proving Absence of Concurrent Modification Errors within the VMCAI-track
POPL 2017Committee Member in Program Committee within the POPL-track
Show activities from other conferences

POPL 2017-profile
View general profile