Ali Shokri

16 papers A* 2A 2Journal 11Unranked 1
YearRankTypeTitle / Venue / Authors
2025 A* conf
Formally Verified Binary-Level Pointer Analysis.
ICSE
Freek Verbeek, Ali Shokri, Daniel Engel, Binoy Ravindran
2025 J jnl
Formally Verified Binary-level Pointer Analysis.
CoRR
Freek Verbeek, Ali Shokri, Daniel Engel, Binoy Ravindran
2025 J jnl
Large Language Model-Powered Agent for C to Rust Code Translation.
CoRR
HoHyun Sim, Hyeonjoong Cho, Yeonghyeon Go, Zhoulai Fu, Ali Shokri, Binoy Ravindran
2024 J jnl
IPSynth: Interprocedural Program Synthesis for Software Security Implementation.
CoRR
Ali Shokri, Ibrahim Jameel Mujhid, Mehdi Mirakhorli
2024 J jnl
Seneca: Taint-Based Call Graph Construction for Java Object Deserialization.
Proc. ACM Program. Lang.
Joanna C. S. Santos, Mehdi Mirakhorli, Ali Shokri
2023 J jnl
A Novel Approach to Identify Security Controls in Source Code.
CoRR
Ahmet Okutan, Ali Shokri, Viktoria Koscinski, Mohamad Fazelnia, Mehdi Mirakhorli
2023 J jnl
CONSTRUCT: A Program Synthesis Approach for Reconstructing Control Algorithms from Embedded System Binaries in Cyber-Physical Systems.
CoRR
Ali Shokri, Alexandre Perez, Souma Chowdhury, Chen Zeng, Gerald Kaloor, Ion Matei, Peter-Patel Schneider, Akshith Gunasekaran, Shantanu Rane
2023 J jnl
Sound Call Graph Construction for Java Object Deserialization.
CoRR
Joanna C. S. Santos, Mehdi Mirakhorli, Ali Shokri
2021 A* conf
A Program Synthesis Approach for Adding Architectural Tactics to An Existing Code Base.
ASE
Ali Shokri
2021 J jnl
A Program Synthesis Approach for Adding Architectural Tactics to An Existing Code Base.
CoRR
Ali Shokri
2021 A conf
ArCode: A Tool for Supporting Comprehension and Implementation of Architectural Concerns.
ICPC
Ali Shokri, Mehdi Mirakhorli
2021 J jnl
ArCode: A Tool for Supporting Comprehension andImplementation of Architectural Concerns.
CoRR
Ali Shokri, Mehdi Mirakhorli
2021 A conf
ArCode: Facilitating the Use of Application Frameworks to Implement Tactics and Patterns.
ICSA
Ali Shokri, Joanna C. S. Santos, Mehdi Mirakhorli
2021 J jnl
ArCode: Facilitating the Use of Application Frameworks to Implement Tactics and Patterns.
CoRR
Ali Shokri, Joanna C. S. Santos, Mehdi Mirakhorli
2021 J jnl
DepRes: A Tool for Resolving Fully Qualified Names and Their Dependencies.
CoRR
Ali Shokri, Mehdi Mirakhorli
2020 — conf
Towards Automated Evidence Generation for Rapid and Continuous Software Certification.
ISSRE Workshops
Joanna C. S. Santos, Ali Shokri, Mehdi Mirakhorli