PaperAn overview of the PTRAN analysis system for multiprocessingFrances Allen, Michael Burke, et al.Journal of Parallel and Distributed Computing
PaperOn the Efficient Engineering of Ambitious Program AnalysisJong-Deok Choi, Ron Cytron, et al.IEEE Transactions on Software Engineering
PaperXDP: A compiler intermediate language extension for the representation and optimization of data movementLarry Carter, Jeanne Ferrante, et al.Int. J. Parallel Program
Conference paperEnCore: Exploiting system environment and correlation information for misconfiguration detectionJiaqi Zhang, Lakshminarayanan Renganarayana, et al.ASPLOS 2014