An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs.

Jeff Huang, Charles Zhang

Browse the full SAS paper archive.