Deriving Highly Efficient Implementations of Parallel PageRank | IEEE Conference Publication | IEEE Xplore