91猎奇

Skip to main content

Department of Computer Science

  1. NSM Home
  2. Department of Computer Science
  3. People
  4. Faculty
  5. faculty-personal
  6. Ali Shokri

People

Ali Shokri

 

placeholder

Ali Shokri, Ph.D.

Professor of Computer Science

Research Areas: Software and Systems, Artificial Intelligence and Machine Learning

 

路 Postdoc, Department of Computer Science, Virginia Tech, VA

路 PhD in Computer Science, Rochester Institute of Technology, NY

Dr. Ali Shokri is a tenure-track Assistant Professor in the Department of Computer Science at the 91猎奇, where he conducts research in various areas of Automated Software Engineering and Security, including software productivity and code quality. His work on secure program synthesis received the first-place award in the research track of IEEE/ACM Automated Software Engineering (ASE'21). He is also the primary inventor of multiple innovations in code productivity and quality and has published papers in top-tier software engineering venues, including ICSE, OOPSLA, ASE, and ICSA. Prior to his current appointment, he was a postdoctoral researcher at Virginia Tech. He also brings extensive research and engineering experience from the software industry, including roles at Google and PARC.

路 ASE'21 - First-place award winner in research

路 Verbeek, F., Shokri, A., Engel, D., Ravindran, B., Formally Verified Binary-level Pointer Analysis. 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE'25).

路 Santos, J. C., Mirakhorli, M., & Shokri, A. (2024). Seneca: Taint-based call graph construction for java object deserialization. Proceedings of the ACM on Programming Languages, 8(OOPSLA1), 1125-1153.

路 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., Santos, J. C., & 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., & Mirakhorli, M. (2021, May). Arcode: A tool for supporting comprehension and implementation of architectural concerns. In 2021 IEEE/ACM 29th International Conference on Program Comprehension (ICPC) (pp. 485-489). IEEE.