activity
20242026
most citedAssessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models

2 citations · 2 across the 4 of their papers we have counts for

collaborators
Showing 2024Show all

1 paper · 1 filter

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…