Flow Sensitivity

Flow Sensitivity is a static analysis property that distinguishes analyses by their ability to track the order of program statements and maintain distinct variable abstractions at different program points, thereby enabling more precise reasoning about program behavior based on control flow.

149

Publications

8.4K

Citations

407

Authors

206

Institutions

Publications per year

2017–2026

26

Authors

407

  1. JH
    Jennifer Huang

    The University of Texas at Austin, United States

    4 publications · 862 citations

    4

    h-index

  2. DL
    Donglin Liang

    Georgia Institute of Technology, United States

    4 publications · 232 citations

    4

    h-index

  3. HY
    Hong Yan

    Hong Kong Polytechnic University, Hong Kong SAR China

    4 publications · 862 citations

    4

    h-index

  4. KD
    Kelsey D. Wei

    The University of Texas at Dallas, United States

    4 publications · 862 citations

    4

    h-index

  5. MJ
    Mary Jean Harrold

    Georgia Institute of Technology, United States

    4 publications · 232 citations

    4

    h-index

1–5 of 407

Venues

  1. SSRN Electronic Journal

    Repository · 8 publications · 365 citations

    8

    h-index

  2. Magnetic Resonance in Medicine

    MRM · 7 publications · 200 citations

    7

    h-index

  3. ACM SIGPLAN Notices

    4 publications · 120 citations

    4

    h-index

  4. Journal of Microelectromechanical Systems

    4 publications · 117 citations

    4

    h-index

  5. Optics Express

    4 publications · 468 citations

    4

    h-index

1–5