Barry K. Rosen

Publication Activity (10 Years)

Years Active: 1970-1999
Publications (10 Years): 0

Harvard University (PHD)

Education History

Harvard University

PHD

Publications

Chidanand Apté, Edna Grossman, Edwin P. D. Pednault, Barry K. Rosen, Fateh Tipu, Brian F. White
Probabilistic estimation-based data mining for discovering insurance risks. IEEE Intell. Syst. 14 (6) (1999)
Chidanand Apté, Se June Hong, Jonathan R. M. Hosking, Jorge Lepre, Edwin P. D. Pednault, Barry K. Rosen
Decomposition of Heterogeneous Classification Problems. Intell. Data Anal. 2 (1-4) (1998)
Chidanand Apté, Se June Hong, Jonathan R. M. Hosking, Jorge Lepre, Edwin P. D. Pednault, Barry K. Rosen
Decomposition of Heterogeneous Classification Problems. IDA (1997)
Ashok K. Chandra, Vijay S. Iyengar, D. Jameson, R. V. Jawalekar, Indira Nair, Barry K. Rosen, Michael P. Mullen, J. Yoon, R. Armoni, Daniel Geist, Yaron Wolfsthal
AVPGEN-A test generator for architecture verification. IEEE Trans. Very Large Scale Integr. Syst. 3 (2) (1995)
Ashok K. Chandra, Vijay S. Iyengar, R. V. Jawalekar, Michael P. Mullen, Indira Nair, Barry K. Rosen
Architectural Verification of Processors Using Symbolic Instruction Graphs. ICCD (1994)
Dhananjay M. Dhamdhere, Barry K. Rosen, F. Kenneth Zadeck
How to Analyze Large Programs Efficiently and Informatively. PLDI (1992)
Bernd Könemann, J. Barlow, Paul Chang, R. Gabrielson, C. Goertz, Brion L. Keller, Kevin McCauley, J. Tischer, Vijay S. Iyengar, Barry K. Rosen, T. Williams
Delay Test: The Next Frontier for LSSD Test Systems. ITC (1992)
Yaron Aizenbud, Paul Chang, Moshe Leibowitz, Dave Smith, Bernd Könemann, Vijay S. Iyengar, Barry K. Rosen
AC Test Quality: Beyond Transition Fault Coverage. ITC (1992)
Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck
Efficiently Computing Static Single Assignment Form and the Control Dependence Graph. ACM Trans. Program. Lang. Syst. 13 (4) (1991)
Vijay S. Iyengar, Barry K. Rosen, John A. Waicukauski
On computing the sizes of detected delay faults. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 9 (3) (1990)
Bowen Alpern, Roger Hoover, Barry K. Rosen, Peter F. Sweeney, F. Kenneth Zadeck
Incremental Evaluation of Computational Circuits. SODA (1990)
J. Lawrence Carter, Barry K. Rosen, Gordon L. Smith, Vijay Pitchumani
Restricted symbolic evaluation is fast and useful. ICCAD (1989)
Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck
An Efficient Method of Computing Static Single Assignment Form. POPL (1989)
Bowen Alpern, Alan Carle, Barry K. Rosen, Peter F. Sweeney, F. Kenneth Zadeck
Graph Attribution as a Specification Paradigm. Software Development Environments (SDE) (1988)
Vijay S. Iyengar, Barry K. Rosen, Ilan Y. Spillinger
Delay Test Generation 1: Concepts and Coverage Metrics. ITC (1988)
Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck
Global Value Numbers and Redundant Computations. POPL (1988)
Vijay S. Iyengar, Barry K. Rosen, Ilan Y. Spillinger
Delay Test Generation 2: Algebra and Algorithms. ITC (1988)
Zeev Barzilai, J. Lawrence Carter, Barry K. Rosen, Joe D. Rutledge
HSS--A High-Speed Simulator. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 6 (4) (1987)
John A. Waicukauski, Eric Lindbloom, Barry K. Rosen, Vijay S. Iyengar
Transition Fault Simulation. IEEE Des. Test 4 (2) (1987)
John A. Waicukauski, Eric Lindbloom, Vijay S. Iyengar, Barry K. Rosen
Transition Fault Simulation by Parallel Pattern Single Fault Propagation. ITC (1986)
Zeev Barzilai, J. Lawrence Carter, Vijay S. Iyengar, Indira Nair, Barry K. Rosen, Joe D. Rutledge, Gabriel M. Silberman
Efficient Fault Simulation of CMOS Circuits with Accurate Models. ITC (1986)
Zeev Barzilai, Vijay S. Iyengar, Barry K. Rosen, Gabriel M. Silberman
Accurate Fault Modeling and Efficient Simulation of Differential CVS Circuits. ITC (1985)
Zeev Barzilai, Barry K. Rosen
Comparison of AC Self-Testing Procedures. ITC (1983)
Barry K. Rosen
A Lubricant for Data Flow Analysis. SIAM J. Comput. 11 (3) (1982)
Barry K. Rosen
Robust Linear Algorithms for Cutsets. J. Algorithms 3 (3) (1982)
Barry K. Rosen
Linear Cost is Sometimes Quadratic. POPL (1981)
L. Howard Holley, Barry K. Rosen
Qualified Data Flow Problems. IEEE Trans. Software Eng. 7 (1) (1981)
Hartmut Ehrig, Hans-Jörg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Józef Winkowski
Transformations of Structures: an Algebraic Approach. Math. Syst. Theory 14 (1981)
Hartmut Ehrig, Barry K. Rosen
Parallelism and Concurrency of Graph Manipulations. Theor. Comput. Sci. 11 (1980)
L. Howard Holley, Barry K. Rosen
Qualified Data Flow Problems. POPL (1980)
Barry K. Rosen
How practical is POPL? ACM SIGPLAN Notices 15 (1) (1980)
Hartmut Ehrig, Barry K. Rosen
The Mathematics of Record Handling. SIAM J. Comput. 9 (3) (1980)
Barry K. Rosen
Monoids for Rapid Data Flow Analysis. SIAM J. Comput. 9 (1) (1980)
Barry K. Rosen
Data Flow Analysis for Procedural Languages. J. ACM 26 (2) (1979)
Barry K. Rosen
Stickiness and liveness. ACM SIGPLAN Notices 14 (2) (1979)
Barry K. Rosen
The Toy Language Syndrome. IEEE Trans. Software Eng. 4 (1) (1978)
Hartmut Ehrig, Hans-Jörg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Józef Winkowski
Deriving Structures from Structures. MFCS (1978)
Barry K. Rosen
Monoids for Rapid Data Flow Analysis. POPL (1978)
Hartmut Ehrig, Barry K. Rosen
Decomposition of Graph Grammar Productions and Derivations. Graph-Grammars and Their Application to Computer Science and Biology (1978)
Hartmut Ehrig, Barry K. Rosen
Concurrency of Manipulations in Multidimensional Information Structures. MFCS (1978)
Barry K. Rosen
High-Level Data Flow Analysis. Commun. ACM 20 (10) (1977)
Hartmut Ehrig, Barry K. Rosen
The Mathematics of Record Handling. ICALP (1977)
Barry K. Rosen
Applications of High-Level Control Flow. POPL (1977)
Barry K. Rosen
Arcs in graphs are NOT pairs of nodes. SIGACT News 9 (3) (1977)
Barry K. Rosen
Correctness of Parallel Programs: The Church-Rosser Approach. Theor. Comput. Sci. 2 (2) (1976)
George Markowsky, Barry K. Rosen
Bases for Chain-Complete Posets FOCS (1975)
Barry K. Rosen
Program Equivalence and Context-Free Grammars. J. Comput. Syst. Sci. 11 (3) (1975)
Barry K. Rosen
A Church-Rosser theorem for graph grammars. SIGACT News 7 (3) (1975)
Barry K. Rosen
Note on semantics and optimization. ACM SIGPLAN Notices 9 (11) (1974)
Barry K. Rosen
Syntactic Complexity Inf. Control. 24 (4) (1974)
Barry K. Rosen
Deriving Graphs from Graphs by Applying a Production. Acta Informatica 4 (1974)
Barry K. Rosen
Tree-Manipulating Systems and Church-Rosser Theorems. J. ACM 20 (1) (1973)
Clayton H. Lewis, Barry K. Rosen
Recursively Defined Data Types. POPL (1973)
Andrea Maggiolo-Schettini, Barry K. Rosen, H. Raymond Strong
Procedure Linkage Optimization. POPL (1973)
Barry K. Rosen
Program Equivalence and Context-Free Grammars SWAT (1972)
Barry K. Rosen
Tree-Manipulating Systems and Church-Rosser Theorems STOC (1970)

Barry K. Rosen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Barry K. Rosen