[snowAbstraction]

Yes loom seems very important. I would interested to know how it compares with similar tools like nidhugg[1][2] for the C and C++.

[1] https://github.com/nidhugg/nidhugg [2] https://uu.diva-portal.org/smash/get/diva2:1324003/FULLTEXT0...

[carllerche]

I skimmed the paper and it looks similar to loom. Specifically they cite CHESS and Cdschecker as prior art. Both of those are what loom is based on.

I guess 2019 is the year of concurrency checking :-)