3 papers
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…
cs.DC2025
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…