version for the pldi deadline