Describir: ANALYZING PARALLEL PROGRAMS WITH PIN.