Travelled to:1 × Finland
1 × Germany
9 × USA
Collaborated with:∅ H.Ehrig F.K.Zadeck M.N.Wegman L.H.Holley C.H.Lewis D.M.Dhamdhere A.Maggiolo-Schettini H.R.Strong R.Cytron J.Ferrante
Talks about:flow (3) data (3) effici (2) comput (2) decomposit (1) procedur (1) mathemat (1) theorem (1) sometim (1) qualifi (1)
Person: Barry K. Rosen
DBLP: Rosen:Barry_K=
Facilitated 1 volumes:
EdContributed to:
19921989198819811980
19781978
197719771973
1970Wrote 12 papers:
- PLDI-1992-DhamdhereRZ #how #scalability #source code
- How to Analyze Large Programs Efficiently and Informatively (DMD, BKR, FKZ), pp. 212–223.
- POPL-1989-CytronFRWZ #performance
- An Efficient Method of Computing Static Single Assignment Form (RC, JF, BKR, MNW, FKZ), pp. 25–35.
- POPL-1988-RosenWZ
- Global Value Numbers and Redundant Computations (BKR, MNW, FKZ), pp. 12–27.
- POPL-1981-Rosen #linear #polynomial
- Linear Cost is Sometimes Quadratic (BKR), pp. 117–124.
- POPL-1980-HolleyR #data flow #problem
- Qualified Data Flow Problems (LHH, BKR), pp. 68–82.
- GG-1978-EhrigR #composition #graph grammar
- Decomposition of Graph Grammar Productions and Derivations (HE, BKR), pp. 192–205.
- POPL-1978-Rosen #agile #analysis #data flow #monad
- Monoids for Rapid Data Flow Analysis (BKR), pp. 47–59.
- ICALP-1977-EhrigR
- The Mathematics of Record Handling (HE, BKR), pp. 206–220.
- POPL-1977-Rosen #control flow
- Applications of High-Level Control Flow (BKR), pp. 38–47.
- POPL-1973-LewisR #data type #recursion
- Recursively Defined Data Types (CHL, BKR), pp. 125–138.
- POPL-1973-Maggiolo-SchettiniRS #optimisation
- Procedure Linkage Optimization (AMS, BKR, HRS), pp. 183–193.
- STOC-1970-Rosen #theorem
- Tree-Manipulating Systems and Church-Rosser Theorems (BKR), pp. 117–127.