Publications

This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.

Date

Start

End

Featured collections

Popular topics

40 results for Barry K. Rosen

Efficiently Computing Static Single Assignment form and the Control Dependence Graph
- - Ron Cytron
  - Jeanne Ferrante
  - et al.
- 1991
- ACM TOPLAS
Graph Attribution as a Specification Paradigm
- - Bowen Alpern
  - Alan Carle
  - et al.
- 1988
- ACM SIGPLAN Notices
How practical is POPL?
- - Barry K. Rosen
- 1980
- ACM SIGPLAN Notices
Stickiness and Liveness
- - Barry K. Rosen
- 1979
- ACM SIGPLAN Notices
High-level data flow analysis
- - Barry K. Rosen
- 1977
- CACM
Note on semantics and optimization
- - Barry K. Rosen
- 1974
- ACM SIGPLAN Notices
Probabilistic Estimation-Based Data Mining for Discovering Insurance Risks
- - Chidanand Apte
  - Edna Grossman
  - et al.
- 1999
- IEEE Intelligent Systems and Their Applications
Decomposition of heterogeneous classification problems
- - Chidanand Apte
  - Se June Hong
  - et al.
- 1998
- Intelligent Data Analysis
AVPGEN—A Test Generator for Architecture Verification
- - A.K. Chandra
  - V.S. Iyengar
  - et al.
- 1995
- IEEE Transactions on VLSI Systems
How to Analyze Large Programs Efficiently and Informatively
- - Dhananjay M. Dhamdhere
  - Barry K. Rosen
  - et al.
- 1992
- ACM SIGPLAN Notices