The reads-from equivalence for the TSO and PSO memory models. - Truc Lam Bui; Krishnendu Chatterjee; Tushar Gautam; Andreas Pavlogiannis; Viktor Toman (Proc. ACM Program. Lang., 2021)

SIFBench: An Extensive Benchmark for Fatigue Analysis. - Tushar Gautam; Robert M. Kirby; Jacob D. Hochhalter; Shandian Zhe (CoRR, 2025)