prep as pldi artifact