5 papers
SafeTrans: LLM-assisted Transpilation from C to Rust
Muhammad Farrukh, Baris Coskun, Tapti Palit +1
Rust is a strong contender for a memory-safe alternative to C as a "systems" language, but porting the vast amount of existing C code to Rust remains daunting. In this paper, we ev…
ORBIT: Guided Agentic Orchestration for Autonomous C-to-Rust Transpilation
Muhammad Farrukh, Baris Coskun, Tapti Palit +1
Large-scale migration of legacy C code to Rust offers a promising path toward improving memory safety, but LLM-based C-to-Rust translation remains challenging due to limited contex…
PhaseSeed: Precise Call Graph Construction for Split-Phase Applications using Dynamic Seeding
Tapti Palit, Seyedhamed Ghavamnia, Michalis Polychronakis
Precise and sound call graph construction is crucial for many software security mechanisms. Unfortunately, traditional static pointer analysis techniques used to generate applicati…
RustAssure: Differential Symbolic Testing for LLM-Transpiled C-to-Rust Code
Yubo Bai, Tapti Palit
Rust is a memory-safe programming language that significantly improves software security. Existing codebases written in unsafe memory languages, such as C, must first be transpiled…
A VM-HDL Co-Simulation Framework for Systems with PCIe-Connected FPGAs
Shenghsun Cho, Mrunal Patel, Basavaraj Kaladagi +4
PCIe-connected FPGAs are gaining popularity as an accelerator technology in data centers. However, it is challenging to jointly develop and debug host software and FPGA hardware. C…