publications

2025

1. CONCUR’25

   Optimal Concolic Dynamic Partial Order Reduction

   Mohammad Hossein Khoshechin Jorshari, Michalis Kokologiannakis, Rupak Majumdar, and 1 more author

   In 36th International Conference on Concurrency Theory (CONCUR), 2025

   Bib PDF Code

   @inproceedings{conDpor,
     title = {Optimal Concolic Dynamic Partial Order Reduction},
     author = {Khoshechin Jorshari, Mohammad Hossein and Kokologiannakis, Michalis and Majumdar, Rupak and Nagendra, Srinidhi},
     booktitle = {36th International Conference on Concurrency Theory (CONCUR)},
     year = {2025},
     organization = {Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik},
   }