Toward Easy Parallel Programming Funded by the The Royal Society International Collaboration Grant, PI. bug-detection