A Lightweight Heuristic-based Mechanism for Collecting Committed Consistent Global States in Optimistic Simulation | IEEE Conference Publication | IEEE Xplore