TIE: An Interactive Visualization of Thread Interleavings