Ali Shokri, PhD

Ali Shokri, PhD

Postdoctoral Associate at Virginia Tech, Software Security, Program Analysis, and Formal Methods

Publications

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

2024

  • [To be appeared] Verbeek, F., Shokri, A., Engel, D., Ravindran, B., Formally Verified Binary-level Pointer Analysis. (2024)
  • [Accepted to OOPSLA’24] Santos, J., Mirakhorli, M. and Shokri, A., 2023. Sound Call Graph Construction for Java Object Deserialization. arXiv preprint arXiv:2311.00943.

2023

  • 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).

2021

  • 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

2020

  • 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)