pldi format
add acknowledgement and fairness