Ali Shokri

According to our database, Ali Shokri authored at least 14 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

ENCRUST: Encapsulated Substitution and Agentic Refinement on a Live Scaffold for Safe C-to-Rust Translation.

HoHyun Sim, Hyeonjoong Cho, Ali Shokri, Zhoulai Fu, Binoy Ravindran

CoRR, April, 2026

2025

Large Language Model-Powered Agent for C to Rust Code Translation.

HoHyun Sim, Hyeonjoong Cho, Yeonghyeon Go, Zhoulai Fu, Ali Shokri, Binoy Ravindran

CoRR, May, 2025

Formally Verified Binary-Level Pointer Analysis.

Freek Verbeek, Ali Shokri, Daniel Engel, Binoy Ravindran

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 2025

2024

Seneca: Taint-Based Call Graph Construction for Java Object Deserialization.

Joanna C. S. Santos, Mehdi Mirakhorli, Ali Shokri

Proc. ACM Program. Lang., 2024

IPSynth: Interprocedural Program Synthesis for Software Security Implementation.

Ali Shokri, Ibrahim Jameel Mujhid, Mehdi Mirakhorli

CoRR, 2024

2023

Sound Call Graph Construction for Java Object Deserialization.

Joanna C. S. Santos, Mehdi Mirakhorli, Ali Shokri

CoRR, 2023

CONSTRUCT: A Program Synthesis Approach for Reconstructing Control Algorithms from Embedded System Binaries in Cyber-Physical Systems.

Ali Shokri, Alexandre Perez, Souma Chowdhury, Chen Zeng, Gerald Kaloor, Ion Matei, Peter-Patel Schneider, Akshith Gunasekaran, Shantanu Rane

CoRR, 2023

A Novel Approach to Identify Security Controls in Source Code.

Ahmet Okutan, Ali Shokri, Viktoria Koscinski, Mohamad Fazelnia, Mehdi Mirakhorli

CoRR, 2023

2021

DepRes: A Tool for Resolving Fully Qualified Names and Their Dependencies.

Ali Shokri, Mehdi Mirakhorli

CoRR, 2021

ArCode: A Tool for Supporting Comprehension andImplementation of Architectural Concerns.

Ali Shokri, Mehdi Mirakhorli

CoRR, 2021

A Program Synthesis Approach for Adding Architectural Tactics to An Existing Code Base.

Ali Shokri

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

ArCode: A Tool for Supporting Comprehension and Implementation of Architectural Concerns.

Ali Shokri, Mehdi Mirakhorli

Proceedings of the 29th IEEE/ACM International Conference on Program Comprehension, 2021

ArCode: Facilitating the Use of Application Frameworks to Implement Tactics and Patterns.

Ali Shokri, Joanna C. S. Santos, Mehdi Mirakhorli

Proceedings of the 18th IEEE International Conference on Software Architecture, 2021

2020

Towards Automated Evidence Generation for Rapid and Continuous Software Certification.

Joanna C. S. Santos, Ali Shokri, Mehdi Mirakhorli

Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020