2015
CIVL: the concurrency intermediate verification language.
Proceedings of the International Conference for High Performance Computing, 2015