Concepedia

Interprocedural Dataflow Analysis

Interprocedural Dataflow Analysis is a static program analysis technique that extends intra-procedural dataflow analysis by propagating dataflow facts across procedure boundaries to compute precise global program properties in the presence of calls and returns.

213

Publications

11.5K

Citations

406

Authors

166

Institutions

Publications per year

2017–2026

17

Parents

Publications

213

Precise interprocedural dataflow analysis via graph reachability

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

, , +15

Dataflow analysis of array and scalar references

Paul Feautrier · International Journal of Parallel Programming · 1991 · 556 citations

, , +14

Precise interprocedural dataflow analysis with applications to constant propagation

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

, , +10

A flexible approach to interprocedural data flow analysis and programs with recursive data structures

Neil D. Jones, Steven S. Muchnick · 1982 · 212 citations

, , +13

Removing unnecessary synchronization in Java

Jeff Bogda, Urs Hölzle · 1999 · 211 citations

, , +15

1–5 of 213

Authors

406

  1. TR
    Thomas Reps

    University of Wisconsin–Madison, United States

    9 publications · 2K citations

    9

    h-index

  2. MJ
    Mary Jean Harrold

    Georgia Institute of Technology, United States

    7 publications · 303 citations

    7

    h-index

  3. KD
    Keith D. Cooper

    Rice University, United States

    7 publications · 518 citations

    7

    h-index

  4. BG
    Barbara G. Ryder

    Rutgers, The State University of New Jersey, United States

    7 publications · 226 citations

    7

    h-index

  5. PF
    Paul Feautrier

    École Normale Supérieure de Lyon, France

    6 publications · 789 citations

    6

    h-index

1–5 of 406

Institutions

166

  1. IBM (United States)

    Armonk, United States

    10 h-index

    17 publications

    833 citations

  2. University of Maryland, College Park

    College Park, United States

    8 h-index

    21 publications

    2K citations

  3. IBM Research - Thomas J. Watson Research Center

    Yorktown Heights, United States

    8 h-index

    13 publications

    808 citations

  4. Rice University

    Houston, United States

    7 h-index

    15 publications

    1K citations

  5. University of Wisconsin–Madison

    Madison, United States

    7 h-index

    14 publications

    5.1K citations

  6. Rutgers, The State University of New Jersey

    New Brunswick, United States

    7 h-index

    13 publications

    413 citations

  7. University of Pittsburgh

    Pittsburgh, United States

    6 h-index

    14 publications

    1K citations

  8. Colorado State University

    Fort Collins, United States

    5 h-index

    14 publications

    267 citations

1–8 of 166

Venues

  1. ACM SIGPLAN Notices

    19 publications · 781 citations

    13

    h-index

  2. 8

    h-index

  3. IEEE Transactions on Software Engineering

    TSE · 7 publications · 255 citations

    7

    h-index

  4. ACM SIGSOFT Software Engineering Notes

    SEN · 4 publications · 134 citations

    4

    h-index

  5. Proceedings of the ACM on Programming Languages

    PACMPL · 3 publications · 192 citations

    3

    h-index

1–5