3 papers
cs.SE2026
Code Quality Analysis of Translations from C to Rust
Biruk Tadesse, Vikram Nitin, Mazin Salah +3
C/C++ is a prevalent programming language. Yet, it suffers from significant memory and thread-safety issues. Recent studies have explored automated translation of C/C++ to safer la…
cs.SE2025
FaultLine: Automated Proof-of-Vulnerability Generation Using LLM Agents
Vikram Nitin, Baishakhi Ray, Roshanak Zilouchian Moghaddam
Despite the critical threat posed by software security vulnerabilities, reports are often incomplete, lacking the proof-of-vulnerability (PoV) tests needed to validate fixes and pr…
cs.SE2025
C2SaferRust: Transforming C Projects into Safer Rust with NeuroSymbolic Techniques
Vikram Nitin, Rahul Krishna, Luiz Lemos do Valle +1
In recent years, there has been a lot of interest in converting C code to Rust, to benefit from the memory and thread safety guarantees of Rust. C2Rust is a rule-based system that…