Computer Aided Verification

Overview of attention for book

Springer International Publishing

Attention for Chapter: Checking Data-Race Freedom of GPU Kernels, Compositionally

Altmetric Badge

Mentioned by

So far, Altmetric has seen 2 X posts from 2 X users, with an upper bound of 190 followers.

RT @AssertionError: Our paper "Checking Data-Race Freedom of GPU Kernels, Compositionally" with @julienlange, Liew, and Zicarelli was publi…

Our paper "Checking Data-Race Freedom of GPU Kernels, Compositionally" with @julienlange, Liew, and Zicarelli was published in #cav21 https://t.co/rAwLtqbx5l Our tool Faial is open source https://t.co/Fpy5kIlwre and formalized in @CoqLang https://t.co/foVZ

This page shows the most recent X posts that mention this research output.

Click here to find out how to access more activity.