Optimal SMC for Transactional Programs. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Ashutosh Gupta; Shankaranarayanan Krishna; Omkar Tuppe (CoRR, 2022)

Optimal Stateless Model Checking for Causal Consistency. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; S. Krishna 004; Ashutosh Gupta; Omkar Tuppe (TACAS (1), 2023)

Dynamic Partial Order Reduction for Transactional Programs on Serializable Platforms. - Parosh Aziz Abdulla; Ashutosh Gupta; Shankara Narayanan Krishna; Omkar Tuppe (ATVA, 2024)

On-the-Fly Static Analysis via Dynamic Bidirected Dyck Reachability. - Shankaranarayanan Krishna; Aniket Lal; Andreas Pavlogiannis; Omkar Tuppe (Proc. ACM Program. Lang., 2024)

sfGPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency. - Soham Chakraborty 001; S. Krishna 004; Andreas Pavlogiannis; Omkar Tuppe (CAV (3), 2025)

GPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency. - Soham Chakraborty 001; S. Krishna 004; Andreas Pavlogiannis; Omkar Tuppe (CoRR, 2025)