« earlier | later »
Page 1 of 1
checkedthreads: bug-free shared memory parallelism
Fork-join framework with static checking assisted by Valgrind. Good description of how the analysis works.
to ag0803 concurrency parallel software static-analysis valgrind ...
on 15 December 2013
by Adam Sampson.