28 citations · 42 across the 7 of their papers we have counts for
8 papers
ScarfBench: A Benchmark for Cross-Framework Application Migration in Enterprise Java
Advait Pavuluri, Bridget McGinn, Ashita Saxena +6
Java remains central to enterprise software, and many applications outlive their original architecture. Migrating them across frameworks is a behavior-preserving refactoring spanni…
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…
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…
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…
SpecTra: Enhancing the Code Translation Ability of Language Models by Generating Multi-Modal Specifications
Vikram Nitin, Rahul Krishna, Baishakhi Ray
Large language models (LLMs) are increasingly being used for the task of automated code translation, which has important real-world applications. However, most existing approaches…
PropTest: Automatic Property Testing for Improved Visual Programming
Jaywon Koo, Ziyan Yang, Paola Cascante-Bonilla +2
Visual Programming has recently emerged as an alternative to end-to-end black-box visual reasoning models. This type of method leverages Large Language Models (LLMs) to generate th…
Yuga: Automatically Detecting Lifetime Annotation Bugs in the Rust Language
Vikram Nitin, Anne Mulhern, Sanjay Arora +1
The Rust programming language is becoming increasingly popular among systems programmers due to its efficient performance and robust memory safety guarantees. Rust employs an owner…
Towards Causal Deep Learning for Vulnerability Detection
Md Mahbubur Rahman, Ira Ceka, Chengzhi Mao +3
Deep learning vulnerability detection has shown promising results in recent years. However, an important challenge that still blocks it from being very useful in practice is that t…