« earlier | later » Page 1 of 1
checkedthreads: bug-free shared memory parallelism edit / delete
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
« earlier | later » Page 1 of 1
| - valgrind | |
| 1 | + ag0803 |
| 1 | + concurrency |
| 1 | + parallel |
| 1 | + software |
| 1 | + static-analysis |
tasty by Adam Sampson.