fixed pldi tutorial