Additional Supporting Materials for "Barrier Invariants: a Shared State Abstraction for the Analysis of Data-Dependent GPU Kernels"