Concepedia

F. Kenneth Zadeck

FK

13

Publications

3.8K

Citations

13

H-Index

1984

Active since

Affiliations

IBM (United States)(Current)

Brown University

IBM Research - Thomas J. Watson Research Center

F. Kenneth Zadeck is an author at IBM (United States) specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware AnalysisData ScienceComputer EngineeringParallel ComputingComputer ArchitectureSoftware Design

Publications per year

1984–1992

13

Publications

13

Efficiently computing static single assignment form and the control dependence graph

Ron K. Cytron, Jeanne Ferrante, Barry K. Rosen et al. · ACM Transactions on Programming Languages and Systems · 1991 · 2.2K citations · Full text

Constant propagation with conditional branches

Mark N. Wegman, F. Kenneth Zadeck · ACM Transactions on Programming Languages and Systems · 1991 · 601 citations · Full text

Mathematical Programming, Engineering, Compiler Technology +22

Analysis of pointers and structures

David Chase, Mark N. Wegman, F. Kenneth Zadeck · 1990 · 297 citations · Full text

Theory Of Computing, Box 1910, Mathematical Structure +13

Constant propagation with conditional branches

Mark N. Wegman, F. Kenneth Zadeck · 1985 · 132 citations · Full text

Mathematical Programming, Theory Of Computing, New Yorkview Profile +12

Incremental data flow analysis in a structured program editor

F. Kenneth Zadeck · 1984 · 106 citations · Full text

Software Maintenance, Cluster Computing, Engineering +25

Rows per page

1–5 of 13