2 papers
cs.DB2025
SIFBench: An Extensive Benchmark for Fatigue Analysis
Tushar Gautam, Robert M. Kirby, Jacob Hochhalter +1
Fatigue-induced crack growth is a leading cause of structural failure across critical industries such as aerospace, civil engineering, automotive, and energy. Accurate prediction o…
cs.PL2020
The Reads-From Equivalence for the TSO and PSO Memory Models
Truc Lam Bui, Krishnendu Chatterjee, Tushar Gautam +2
The verification of concurrent programs remains an open challenge due to the non-determinism in inter-process communication. One algorithmic problem in this challenge is the consis…