Ali Shokri

University of Houston

Papers on Lattice

Total citations

Topics

h-index

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)Tool Use & Agents (1)

Frequent co-authors

HoHyun Sim (1)Hyeonjoong Cho (1)Zhoulai Fu (1)B. Ravindran (1)

Papers (1)

Apr 6, 2026

Apr 6, 2026·also State University of New York Korea, UH, Virginia Tech

ENCRUST: Encapsulated Substitution and Agentic Refinement on a Live Scaffold for Safe C-to-Rust Translation

Safely translate C to Rust without coordinated caller updates or whole-program reasoning using ABI-preserving wrappers and a novel two-phase pipeline.

HoHyun Sim, Hyeonjoong Cho, Ali Shokri +3

Code Generation & Program Synthesis Tool Use & Agents

Search

Ali Shokri

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)