Ali Shokri

Identifiers

• name variant Ali Shokri 0.60 · backfill

Papers (3)

1. ENCRUST: Encapsulated Substitution and Agentic Refinement on a Live Scaffold for Safe C-to-Rust Translation cs.SE · 2026 · author #3
2. Search-Based Multi-Trajectory Refinement for Safe C-to-Rust Translation with Large Language Models cs.PL · 2025 · author #6
3. High phase-lag order trigonometrically fitted two-step Obrechkoff methods for the numerical solution of periodic initial value problems math.NA · 2014 · author #1

Mentions

• 1411.0108 #1 · arxiv_oai · confidence 0.70 Ali Shokri
• 1411.0108 #1 · backfill · confidence 0.70 Ali Shokri

Frequent Coauthors

• Binoy Ravindran 2 shared papers
• HoHyun Sim 2 shared papers
• Hyeonjoong Cho 2 shared papers
• Zhoulai Fu 2 shared papers
• Hosein Saadat 1 shared papers
• Sadegh AlMahdi Kazemi Zarkouei 1 shared papers
• Yeonghyeon Go 1 shared papers