Home Gudgeon and gist Lindsey Kuper "Taming the Parallel Effect Zoo" and the PLDI artifact evaluation process