Towards Automated Evidence Generation for Rapid and Continuous Software Certification. - Joanna C. S. Santos; Ali Shokri 003; Mehdi Mirakhorli (ISSRE Workshops, 2020)

ArCode: Facilitating the Use of Application Frameworks to Implement Tactics and Patterns. - Ali Shokri 003; Joanna C. S. Santos; Mehdi Mirakhorli (ICSA, 2021)

ArCode: A Tool for Supporting Comprehension and Implementation of Architectural Concerns. - Ali Shokri 003; Mehdi Mirakhorli (ICPC, 2021)

A Program Synthesis Approach for Adding Architectural Tactics to An Existing Code Base. - Ali Shokri 003 (ASE, 2021)

ArCode: A Tool for Supporting Comprehension andImplementation of Architectural Concerns. - Ali Shokri 003; Mehdi Mirakhorli (CoRR, 2021)

DepRes: A Tool for Resolving Fully Qualified Names and Their Dependencies. - Ali Shokri 003; Mehdi Mirakhorli (CoRR, 2021)

A Novel Approach to Identify Security Controls in Source Code. - Ahmet Okutan; Ali Shokri 003; Viktoria Koscinski; Mohamad Fazelnia; Mehdi Mirakhorli (CoRR, 2023)

CONSTRUCT: A Program Synthesis Approach for Reconstructing Control Algorithms from Embedded System Binaries in Cyber-Physical Systems. - Ali Shokri 003; Alexandre Perez; Souma Chowdhury; Chen Zeng; Gerald Kaloor; Ion Matei; Peter-Patel Schneider; Akshith Gunasekaran; Shantanu Rane (CoRR, 2023)

Sound Call Graph Construction for Java Object Deserialization. - Joanna C. S. Santos; Mehdi Mirakhorli; Ali Shokri 003 (CoRR, 2023)

IPSynth: Interprocedural Program Synthesis for Software Security Implementation. - Ali Shokri 003; Ibrahim Jameel Mujhid; Mehdi Mirakhorli (CoRR, 2024)

Seneca: Taint-Based Call Graph Construction for Java Object Deserialization. - Joanna C. S. Santos; Mehdi Mirakhorli; Ali Shokri 003 (Proc. ACM Program. Lang., 2024)