705 followers
@lindsey https://t.co/F0WXjuYMiR Looking forward to the list!
Computer Aided Verification
Springer International Publishing
705 followers
The worst code snippet I've included in a paper, but I'm proud of it. It demonstrates the challenges of simplifying proof goals. Sometimes making a goal smaller in a way that helps solvers makes it dramatically harder for users to interact with. From ht
136 followers
RT @AssertionError: Our paper "Checking Data-Race Freedom of GPU Kernels, Compositionally" with @julienlange, Liew, and Zicarelli was publi…
54 followers
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