The full record of my publications is available from my Google Scholar.


  • [To be appeared] Shokri, A., Mujhid, IJ, Mirakhorli, M., IPSynth: Interprocedural Program Synthesis for Software Security Implementation (2024).
  • [To be appeared] Verbeek, F., Shokri, A., Engel, D., Ravindran, B., Formally Verified Binary-level Pointer Analysis (2024).
  • Santos, J.C., Mirakhorli, M. and Shokri, A., 2024. Seneca: Taint-Based Call Graph Construction for Java Object Deserialization. Proceedings of the ACM on Programming Languages, 8(OOPSLA 1), pp.1125-1153.


  • Shokri, A., Perez, A., Chowdhury, S., Zeng, C., Kaloor, G., Matei, I., Schneider, P.P., Gunasekaran, A. and Rane, S., 2023. CONSTRUCT: A Program Synthesis Approach for Reconstructing Control Algorithms from Embedded System Binaries in Cyber-Physical Systems. arXiv preprint arXiv:2308.00250.
  • Okutan, A., Shokri, A., Koscinski, V., Fazelinia, M. and Mirakhorli, M., 2023. A Novel Approach to Identify Security Controls in Source Code. arXiv preprint arXiv:2307.05605.
  • Shokri, A., 2023. Inter-procedural Program Synthesis for Automatic Architectural Tactic Implementation (Doctoral dissertation, Rochester Institute of Technology).


  • Shokri, A., 2021, November. A program synthesis approach for adding architectural tactics to an existing code base. In 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) (pp. 1388-1390). IEEE.
  • Shokri, A. and Mirakhorli, M., 2021. Depres: A tool for resolving fully qualified names and their dependencies. arXiv preprint arXiv:2108.01165.
  • Shokri, A., Santos, J.C. and Mirakhorli, M., 2021, March. Arcode: Facilitating the use of application frameworks to implement tactics and patterns. In 2021 IEEE 18th International Conference on Software Architecture (ICSA) (pp. 138-149). IEEE.
  • Shokri, A. and Mirakhorli, M., 2021, May. A tool for supporting comprehension and implementation of architectural concerns. In 2021 IEEE/ACM 29th International Conference on Prog


  • Santos, J.C., Shokri, A. and Mirakhorli, M., 2020, October. Towards automated evidence generation for rapid and continuous software certification. In 2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (pp. 287-294). IEEE.

Patents / Inventions

  • An SMT-based approach for extracting mathematical models from binaries, Shantanu Rane, Ali Shokri, Peter F. Patel-Schneider, Ion Matei (2023)
  • A method for deriving mathematical models from embedded code using a modified genetic algorithm to perform a symbol-to-variable mapping, Shantanu Rane, Ali Shokri, Peter F. Patel-Schneider, Ion Matei (2022)