Papers tagged program correctness for multiprogramming tasks