We stand with Ukraine  

Ali Shokri

Orcid: 0000-0002-9758-3091

Affiliations:
  • Virginia Tech, Blacksburg, VA, USA


According to our database1, Ali Shokri authored at least 2 papers in 2025.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Large Language Model-Powered Agent for C to Rust Code Translation.
[BibTeX]
[DOI]
HoHyun Sim
,
Hyeonjoong Cho
,
Yeonghyeon Go
,
Zhoulai Fu
,
Ali Shokri
,
Binoy Ravindran
CoRR, May, 2025

Formally Verified Binary-Level Pointer Analysis.
[BibTeX]
[DOI]
Freek Verbeek
,
Ali Shokri
,
Daniel Engel
,
Binoy Ravindran
Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 2025


  Loading...