C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Ali Shokri
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 11
Top Topics
Graph Construction
Software Tools
Source Code
Program Synthesis
Top Venues
CoRR
ICPC
ICSA
ISSRE Workshops
</>
Publications
</>
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)