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
149
Flow-sensitive type qualifiers
Jeffrey S. Foster, Tachio Terauchi, Alex Aiken · 2002 · 377 citations
Phase-resolved optical frequency domain imaging
Benjamin J. Vakoc, Seok Hyun Yun, Johannes F. de Boer et al. · Optics Express · 2005 · 298 citations · Full text
1–5 of 149
407
4
h-index
4
h-index
4
h-index
4
h-index
4
h-index
1–5 of 407
206
The University of Texas at Austin
Austin, United States
6 h-index
9 publications
1.8K citations
Virginia Tech
Blacksburg, United States
5 h-index
8 publications
155 citations
University of Wisconsin–Madison
Madison, United States
5 h-index
10 publications
903 citations
Chalmers University of Technology
Gothenburg, Sweden
4 h-index
8 publications
542 citations

University of Toronto
Toronto, Canada
4 h-index
7 publications
152 citations

KTH Royal Institute of Technology
Stockholm, Sweden
4 h-index
11 publications
334 citations

Polytechnique Montréal
Montreal, Canada
4 h-index
7 publications
164 citations
The University of Texas at Dallas
Richardson, United States
3 h-index
3 publications
335 citations
1–8 of 206
Repository · 8 publications · 365 citations
8
h-index
MRM · 7 publications · 200 citations
7
h-index
4 publications · 120 citations
4
h-index
4 publications · 117 citations
4
h-index
4 publications · 468 citations
4
h-index
1–5