POPL 2017
Sun 15 - Sat 21 January 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

Contributions

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

POPL 2017-profile
View general profile