Ali Shokri

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 13

Top Topics

Program Synthesis

Top Venues

Proc. ACM Program. Lang.

Publications

Joanna C. S. Santos, Mehdi Mirakhorli, Ali Shokri
Seneca: Taint-Based Call Graph Construction for Java Object Deserialization. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Ali Shokri, Ibrahim Jameel Mujhid, Mehdi Mirakhorli
IPSynth: Interprocedural Program Synthesis for Software Security Implementation. CoRR (2024)
Ali Shokri, Alexandre Perez, Souma Chowdhury, Chen Zeng, Gerald Kaloor, Ion Matei, Peter-Patel Schneider, Akshith Gunasekaran, Shantanu Rane
CONSTRUCT: A Program Synthesis Approach for Reconstructing Control Algorithms from Embedded System Binaries in Cyber-Physical Systems. CoRR (2023)
Ahmet Okutan, Ali Shokri, Viktoria Koscinski, Mohamad Fazelnia, Mehdi Mirakhorli
A Novel Approach to Identify Security Controls in Source Code. CoRR (2023)
Joanna C. S. Santos, Mehdi Mirakhorli, Ali Shokri
Sound Call Graph Construction for Java Object Deserialization. CoRR (2023)
Ali Shokri, Mehdi Mirakhorli
ArCode: A Tool for Supporting Comprehension andImplementation of Architectural Concerns. CoRR (2021)
Ali Shokri, Joanna C. S. Santos, Mehdi Mirakhorli
ArCode: Facilitating the Use of Application Frameworks to Implement Tactics and Patterns. CoRR (2021)
Ali Shokri, Mehdi Mirakhorli
DepRes: A Tool for Resolving Fully Qualified Names and Their Dependencies. CoRR (2021)
Ali Shokri
A Program Synthesis Approach for Adding Architectural Tactics to An Existing Code Base. CoRR (2021)
Ali Shokri, Joanna C. S. Santos, Mehdi Mirakhorli
ArCode: Facilitating the Use of Application Frameworks to Implement Tactics and Patterns. ICSA (2021)
Ali Shokri, Mehdi Mirakhorli
ArCode: A Tool for Supporting Comprehension and Implementation of Architectural Concerns. ICPC (2021)
Ali Shokri
A Program Synthesis Approach for Adding Architectural Tactics to An Existing Code Base. ASE (2021)
Joanna C. S. Santos, Ali Shokri, Mehdi Mirakhorli
Towards Automated Evidence Generation for Rapid and Continuous Software Certification. ISSRE Workshops (2020)