Hyeonjoong Cho

Identifiers

No identifiers captured yet.

Papers (3)

1. ENCRUST: Encapsulated Substitution and Agentic Refinement on a Live Scaffold for Safe C-to-Rust Translation cs.SE · 2026 · author #2
2. Search-Based Multi-Trajectory Refinement for Safe C-to-Rust Translation with Large Language Models cs.PL · 2025 · author #2
3. Flow Network Models for Online Scheduling Real-time Tasks on Multiprocessors cs.DC · 2018 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Ali Shokri 2 shared papers
• Binoy Ravindran 2 shared papers
• HoHyun Sim 2 shared papers
• Zhoulai Fu 2 shared papers
• Arvind Easwaran 1 shared papers
• Sadegh AlMahdi Kazemi Zarkouei 1 shared papers
• Yeonghyeon Go 1 shared papers