Semantic Parallelization: A Practical Exercise in Abstract Interpretation.

Pierre Jouvelot

Browse the full POPL paper archive.