Concepedia

Barry K. Rosen

BK

Statistics

Publications

43

Citations

5.7K

H-Index

28

Active since

1970

Affiliations

IBM Research - Thomas J. Watson Research Center(Current)

IBM (United States)

Brown University

Technische Universität Berlin

Barry K. Rosen is an author at IBM Research - Thomas J. Watson Research Center specializing in engineering, computer science, and program analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisFormal MethodsComputer EngineeringSoftware AnalysisFormal VerificationAutomated ReasoningData ScienceSoftware Testing

Publications per year

1970–2003

43

Publications

43

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

Global value numbers and redundant computations

Barry K. Rosen, Mark N. Wegman, F. K. Zadeck · 1988 · 480 citations

Mathematical Programming, Theory Of Computing, Global Value Numbers +14

An efficient method of computing static single assignment form

Ron K. Cytron, Jeanne Ferrante, Barry K. Rosen et al. · 1989 · 460 citations

Mathematical Programming, Engineering, Efficient Method +18

Transition Fault Simulation

J.A. Waicukauski, Eric Lindbloom, Barry K. Rosen et al. · IEEE Design & Test of Computers · 1987 · 401 citations

Engineering, Vlsi Design, Computer Architecture +20

Tree-Manipulating Systems and Church-Rosser Theorems

Barry K. Rosen · Journal of the ACM · 1973 · 351 citations · Full text

Tree Language, Engineering, Recursive Calculus +15

1–5 of 43