HoHyun Sim

Identifiers

No identifiers captured yet.

Papers (2)

1. ENCRUST: Encapsulated Substitution and Agentic Refinement on a Live Scaffold for Safe C-to-Rust Translation cs.SE · 2026 · author #1
2. Search-Based Multi-Trajectory Refinement for Safe C-to-Rust Translation with Large Language Models cs.PL · 2025 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Ali Shokri 2 shared papers
• Binoy Ravindran 2 shared papers
• Hyeonjoong Cho 2 shared papers
• Zhoulai Fu 2 shared papers
• Sadegh AlMahdi Kazemi Zarkouei 1 shared papers
• Yeonghyeon Go 1 shared papers