Omkar Tuppe

According to our database, Omkar Tuppe authored at least 6 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

GPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency.

Soham Chakraborty, S. Krishna, Andreas Pavlogiannis, Omkar Tuppe

CoRR, May, 2025

sfGPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency.

Soham Chakraborty, S. Krishna, Andreas Pavlogiannis, Omkar Tuppe

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024

On-the-Fly Static Analysis via Dynamic Bidirected Dyck Reachability.

Shankaranarayanan Krishna, Aniket Lal, Andreas Pavlogiannis, Omkar Tuppe

Proc. ACM Program. Lang., January, 2024

Dynamic Partial Order Reduction for Transactional Programs on Serializable Platforms.

Parosh Aziz Abdulla, Ashutosh Gupta, Shankara Narayanan Krishna, Omkar Tuppe

Proceedings of the Automated Technology for Verification and Analysis, 2024

2023

Optimal Stateless Model Checking for Causal Consistency.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, S. Krishna, Ashutosh Gupta, Omkar Tuppe

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2022

Optimal SMC for Transactional Programs.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ashutosh Gupta, Shankaranarayanan Krishna, Omkar Tuppe

CoRR, 2022