Announcement_7

I will be attending the CONCUR’25 and presenting our paper titled “Optimal Concolic Dynamic Partial Order Reduction” at the Aarhus University in Aarhus, Denmark.