https://hgpu.org/?p=8797
A GPU Based Implementation of Side Effect Analysis