Dynamic Control-flow Analysis

Dynamic Control-Flow Analysis is a program analysis technique that dynamically tracks and verifies the run-time execution paths of a program to identify deviations from expected control-flow transitions, distinguishing itself from static approaches by incorporating actual execution context and runtime behavior.

72

Publications

3.7K

Citations

204

Authors

98

Institutions

Publications per year

2017–2026

15

Authors

204

  1. AR
    Alejandro Russo

    Chalmers University of Technology, Sweden

    7 publications · 318 citations

    7

    h-index

  2. DS
    Deian Stefan

    Stanford University, United States

    7 publications · 318 citations

    7

    h-index

  3. DM
    David Mazières

    Stanford University, United States

    5 publications · 285 citations

    5

    h-index

  4. JC
    John C. Mitchell

    Stanford University, United States

    5 publications · 285 citations

    5

    h-index

  5. MJ
    Mary Jean Harrold

    Georgia Institute of Technology, United States

    3 publications · 98 citations

    3

    h-index

1–5 of 204

Venues

  1. ACM SIGPLAN Notices

    4 publications · 86 citations

    4

    h-index

  2. Software Practice and Experience

    2 publications · 55 citations

    2

    h-index

  3. IEEE Transactions on Computers

    2 publications · 63 citations

    2

    h-index

  4. ACM SIGOPS Operating Systems Review

    1 publications · 11 citations

    1

    h-index

  5. Journal of Cleaner Production

    1 publications · 21 citations

    1

    h-index

1–5