4 papers
Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis
Negar Fathi, Rahul Purandare, Tachio Terauchi +1
Termination and non-termination are fundamental correctness properties, but verifying them in real-world C programs remains difficult because loop interactions and nondeterministic…
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…
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…
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…