How does the order in which invariants are generated affect the performance of GPUVerify? A possible way to investigate this is by randomizing the order in which invariants are generated.
If you would like to work on any of the above problems, please contact Alastair Donaldson.
