40 citations · 97 across the 12 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
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.CR2025
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…