Concepedia

Mooly Sagiv

MS

Statistics

Publications

107

Citations

7.4K

H-Index

39

Active since

1980

Affiliations

Tel Aviv University(Current)

University of Wisconsin–Madison

IBM Research - Haifa

Microsoft (United States)

Stanford University

Mooly Sagiv is an author at Tel Aviv University specializing in computing, computer science, and data-flow analysis.

Publications per year

1980–2021

107

Publications

107

Precise interprocedural dataflow analysis via graph reachability

Thomas Reps, Susan Horwitz, Mooly Sagiv · 1995 · 1.2K citations

, , +15

Parametric shape analysis via 3-valued logic

Mooly Sagiv, Thomas Reps, Reinhard Wilhelm · ACM Transactions on Programming Languages and Systems · 2002 · 784 citations · Full text

, , +10

Parametric shape analysis via 3-valued logic

Mooly Sagiv, Thomas Reps, Reinhard Wilhelm · 1999 · 338 citations

, , +10

Solving shape-analysis problems in languages with destructive updating

Mooly Sagiv, Thomas Reps, Reinhard Wilhelm · ACM Transactions on Programming Languages and Systems · 1998 · 324 citations · Full text

, , +6

Precise interprocedural dataflow analysis with applications to constant propagation

Mooly Sagiv, Thomas Reps, Susan Horwitz · Theoretical Computer Science · 1996 · 290 citations

, , +10

1–5 of 107