Optimal Concolic Dynamic Partial Order Reduction. - Mohammad Hossein Khoshechin Jorshari; Michalis Kokologiannakis; Rupak Majumdar; Srinidhi Nagendra (CONCUR, 2025)