3 papers
cs.SE2025
Streamlining Security Vulnerability Triage with Large Language Models
Mohammad Jalili Torkamani, Joey NG, Nikita Mehrotra +3
Bug triaging for security vulnerabilities is a critical part of software maintenance, ensuring that the most pressing vulnerabilities are addressed promptly to safeguard system int…
cs.SE2025
Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models
Ridhi Jain, Rahul Purandare
As concurrent programming becomes increasingly prevalent, effectively identifying and addressing concurrency issues such as data races and deadlocks is critical. This study evaluat…
cs.SE2024
ASSERTIFY: Utilizing Large Language Models to Generate Assertions for Production Code
Mohammad Jalili Torkamani, Abhinav Sharma, Nikita Mehrotra +1
Production assertions are statements embedded in the code to help developers validate their assumptions about the code. They assist developers in debugging, provide valuable docume…