Omkar Tuppe

According to our database, Omkar Tuppe authored at least 3 papers between 2022 and 2024.

Collaborative distances:

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

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

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