We stand with Ukraine  

Ali Shokri

Orcid: 0000-0002-9758-3091

Affiliations:
  • Rochester Institute of Technology, USA


According to our database1, Ali Shokri authored at least 10 papers between 2020 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
IPSynth: Interprocedural Program Synthesis for Software Security Implementation.
[BibTeX]
[DOI]
Ali Shokri
,
Ibrahim Jameel Mujhid
,
Mehdi Mirakhorli
CoRR, 2024

2023
Sound Call Graph Construction for Java Object Deserialization.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Ahmet Okutan
,
Ali Shokri
,
Viktoria Koscinski
,
Mohamad Fazelnia
,
Mehdi Mirakhorli
CoRR, 2023

2021
DepRes: A Tool for Resolving Fully Qualified Names and Their Dependencies.
[BibTeX]
[DOI]
Ali Shokri
,
Mehdi Mirakhorli
CoRR, 2021

ArCode: A Tool for Supporting Comprehension andImplementation of Architectural Concerns.
[BibTeX]
[DOI]
Ali Shokri
,
Mehdi Mirakhorli
CoRR, 2021

A Program Synthesis Approach for Adding Architectural Tactics to An Existing Code Base.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Joanna C. S. Santos
,
Ali Shokri
,
Mehdi Mirakhorli
Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020


  Loading...