​
Login / Signup
Ali Shokri
ORCID
Publication Activity (10 Years)
Years Active: 2020-2024
Publications (10 Years): 13
Top Topics
Program Synthesis
Top Venues
CoRR
ICSA
ICPC
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)