Artifact evaluation for PLDI'14