Parallelism for Free: Efficient and Optimal Bitvector Analyses for Parallel Programs (1996)

by J KNOOP, B STEFFEN
Venue:ACM Transactions on Programming Languages and Systems