LEAP: lightweight deterministic multi-processor replay of concurrent java programs | Conference Paper individual record