Hyeonjoong Cho

Korea University

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)Ali Shokri (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

Hyeonjoong Cho

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)