Finder: Automatic ICC Data Reconstruction for Long-Term Runtime Semantics. - Chia-Wei Hsu; Sheng-Ru Wei; Shiuhpyng Shieh (DSC, 2018)