Barry K. Rosen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
27
Venues
11
Active years
1970–1997
Best venue rank
A*
Where they publish
Papers
27 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1997 | IDA | Decomposition of Heterogeneous Classification Problems. | Chidanand Apt, Se June Hong, Jonathan R. M. Hosking, Jorge Lepre, Edwin P. D. Pednault, Barry K. Rosen |
| 1994 | ICCD | Architectural Verification of Processors Using Symbolic Instruction Graphs. | Ashok K. Chandra, Vijay S. Iyengar, R. V. Jawalekar, Michael P. Mullen, Indira Nair, Barry K. Rosen |
| 1992 | ITC | AC Test Quality: Beyond Transition Fault Coverage. | Yaron Aizenbud, Paul Chang, Moshe Leibowitz, Dave Smith, Bernd Knemann, Vijay S. Iyengar, Barry K. Rosen |
| 1992 | ITC | Delay Test: The Next Frontier for LSSD Test Systems. | Bernd Knemann, J. Barlow, Paul Chang, R. Gabrielson, C. Goertz, Brion L. Keller, Kevin McCauley, J. Tischer, Vijay S. Iyengar, Barry K. Rosen, T. Williams |
| 1992 | PLDI | How to Analyze Large Programs Efficiently and Informatively. | Dhananjay M. Dhamdhere, Barry K. Rosen, F. Kenneth Zadeck |
| 1990 | SODA | Incremental Evaluation of Computational Circuits. | Bowen Alpern, Roger Hoover, Barry K. Rosen, Peter F. Sweeney, F. Kenneth Zadeck |
| 1989 | ICCAD | Restricted symbolic evaluation is fast and useful. | J. Lawrence Carter, Barry K. Rosen, Gordon L. Smith, Vijay Pitchumani |
| 1989 | POPL | An Efficient Method of Computing Static Single Assignment Form. | Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck |
| 1988 | ITC | Delay Test Generation 1: Concepts and Coverage Metrics. | Vijay S. Iyengar, Barry K. Rosen, Ilan Y. Spillinger |
| 1988 | ITC | Delay Test Generation 2: Algebra and Algorithms. | Vijay S. Iyengar, Barry K. Rosen, Ilan Y. Spillinger |
| 1988 | POPL | Global Value Numbers and Redundant Computations. | Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck |
| 1986 | ITC | Efficient Fault Simulation of CMOS Circuits with Accurate Models. | Zeev Barzilai, J. Lawrence Carter, Vijay S. Iyengar, Indira Nair, Barry K. Rosen, Joe D. Rutledge, Gabriel M. Silberman |
| 1986 | ITC | Transition Fault Simulation by Parallel Pattern Single Fault Propagation. | John A. Waicukauski, Eric Lindbloom, Vijay S. Iyengar, Barry K. Rosen |
| 1985 | ITC | Accurate Fault Modeling and Efficient Simulation of Differential CVS Circuits. | Zeev Barzilai, Vijay S. Iyengar, Barry K. Rosen, Gabriel M. Silberman |
| 1983 | ITC | Comparison of AC Self-Testing Procedures. | Zeev Barzilai, Barry K. Rosen |
| 1981 | POPL | Linear Cost is Sometimes Quadratic. | Barry K. Rosen |
| 1980 | POPL | Qualified Data Flow Problems. | L. Howard Holley, Barry K. Rosen |
| 1978 | MFCS | Deriving Structures from Structures. | Hartmut Ehrig, Hans-Jrg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Jzef Winkowski |
| 1978 | MFCS | Concurrency of Manipulations in Multidimensional Information Structures. | Hartmut Ehrig, Barry K. Rosen |
| 1978 | POPL | Monoids for Rapid Data Flow Analysis. | Barry K. Rosen |
| 1977 | ICALP | The Mathematics of Record Handling. | Hartmut Ehrig, Barry K. Rosen |
| 1977 | POPL | Applications of High-Level Control Flow. | Barry K. Rosen |
| 1975 | FOCS | Bases for Chain-Complete Posets | George Markowsky, Barry K. Rosen |
| 1973 | POPL | Recursively Defined Data Types. | Clayton H. Lewis, Barry K. Rosen |
| 1973 | POPL | Procedure Linkage Optimization. | Andrea Maggiolo-Schettini, Barry K. Rosen, H. Raymond Strong |
| 1972 | FOCS | Program Equivalence and Context-Free Grammars | Barry K. Rosen |
| 1970 | STOC | Tree-Manipulating Systems and Church-Rosser Theorems | Barry K. Rosen |