PaperProgram equivalence and context-free grammarsBarry K. RosenJournal of Computer and System Sciences
PaperEfficiently Computing Static Single Assignment form and the Control Dependence GraphRon Cytron, Jeanne Ferrante, et al.ACM TOPLAS
PaperOn Computing the Sizes of Detected Delay FaultsVijay S. Iyengar, Barry K. Rosen, et al.IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
PaperHow to Analyze Large Programs Efficiently and InformativelyDhananjay M. Dhamdhere, Barry K. Rosen, et al.ACM SIGPLAN Notices
