publications

2026

1. PLDI’26

   State Space Estimation for DPOR-Based Model Checkers

   A. R. Balasubramanian, Mohammad Hossein Khoshechin Jorshari, Rupak Majumdar, and 2 more authors

   Proceedings of the ACM on Programming Languages 10, no. PLDI, Jun 2026

   Bib HTML Extended Artifact Code

   @article{testor,
     author = {Balasubramanian, A. R. and Khoshechin Jorshari, Mohammad Hossein and Majumdar, Rupak and Mathur, Umang and Zhang, Minjian},
     title = {State Space Estimation for DPOR-Based Model Checkers},
     year = {2026},
     issue_date = {June 2026},
     publisher = {Association for Computing Machinery},
     address = {New York, NY, USA},
     volume = {10},
     number = {PLDI},
     journal = {Proceedings of the ACM on Programming Languages 10, no. PLDI},
     month = jun,
     articleno = {213},
     numpages = {25},
     extended = {https://arxiv.org/abs/2512.23996},
     artifact = {https://zenodo.org/records/19625358},
   }

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), Jun 2025

   Bib HTML Extended Code

   @inproceedings{conDpor,
     author = {Khoshechin Jorshari, Mohammad Hossein and Kokologiannakis, Michalis and Majumdar, Rupak and Nagendra, Srinidhi},
     title = {Optimal Concolic Dynamic Partial Order Reduction},
     booktitle = {36th International Conference on Concurrency Theory (CONCUR 2025)},
     pages = {26:1--26:22},
     series = {Leibniz International Proceedings in Informatics (LIPIcs)},
     isbn = {978-3-95977-389-8},
     issn = {1868-8969},
     year = {2025},
     volume = {348},
     editor = {Bouyer, Patricia and van de Pol, Jaco},
     publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
     address = {Dagstuhl, Germany},
     extended = {https://zenodo.org/records/15656615}
   }