Announcement_9
I’m so excited to announce that our paper titled “Optimal Concolic Dynamic Partial Order Reduction” has been accepted at the 36th International Conference on Concurrency Theory (CONCUR) 2025.
I’m so excited to announce that our paper titled “Optimal Concolic Dynamic Partial Order Reduction” has been accepted at the 36th International Conference on Concurrency Theory (CONCUR) 2025.