LEAN: simplifying concurrency bug reproduction via replay-supported execution reduction

@inproceedings{Huang2012LEANSC,
  title={LEAN: simplifying concurrency bug reproduction via replay-supported execution reduction},
  author={Jeff Huang and Charles Zhang},
  booktitle={OOPSLA},
  year={2012}
}
Debugging concurrent programs is known to be difficult due to scheduling non-determinism. The technique of multiprocessor deterministic replay substantially assists debugging by making the program execution reproducible. However, facing the huge replay traces and long replay time, the debugging task remains stunningly challenging for long running executions… CONTINUE READING