PaperInterprocedural Dependence Analysis and ParallelizationMichael Burke, Ron CytronACM SIGPLAN Notices
PaperOn the Efficient Engineering of Ambitious Program AnalysisJong-Deok Choi, Ron Cytron, et al.IEEE Transactions on Software Engineering