Showing cs.SEShow all
3 papers · 1 filter
cs.SE2026
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…
cs.SE2025
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…
cs.SE2025
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…