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 2026Show all

1 paper · 1 filter

cs.SE2026

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…