Publications

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

Verbeek, F., Shokri, A., Engel, D., Ravindran, B., Formally Verified Binary-level Pointer Analysis (2024). Conditionaly accepted to ICSE’25.
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), pp.1125-1153.
[To be appeared] Shokri, A., Mujhid, IJ, Mirakhorli, M., IPSynth: Interprocedural Program Synthesis for Software Security Implementation (2024).

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)