Omkar Tuppe

Employment

Employment history is unavailable.

Education

Education history is unavailable.

Projects & Funding

Projects & funding information is unavailable.

Publications (4)

• $$\textsf{GPUMC}$$: A Stateless Model Checker for GPU Weak Memory Concurrency
  2025 DOI: 10.1007/978-3-031-98682-6_17
  +Save
• Dynamic Partial Order Reduction for Transactional Programs on Serializable Platforms
  2025 DOI: 10.1007/978-3-031-78709-6_9
  +Save
• On-the-Fly Static Analysis via Dynamic Bidirected Dyck Reachability
  Proceedings of the ACM on Programming Languages 2024 DOI: 10.1145/3632884
  +Save
• Optimal Stateless Model Checking for Causal Consistency
  Tools and Algorithms for the Construction and Analysis of Systems 2023
  +Save