PaperHow to Analyze Large Programs Efficiently and InformativelyDhananjay M. Dhamdhere, Barry K. Rosen, et al.ACM SIGPLAN Notices
PaperParallelism and concurrency of graph manipulationsHartmut Ehrig, Barry K. RosenTheoretical Computer Science