Krishna Shankara Narayanan

Employment

• Indian Institute of Technology Bombay

Education

Education history is unavailable.

Projects & Funding

Projects & funding information is unavailable.

Publications (12)

• MightyPPL: Model Checking MITL with Past and Pnueli Modalities
  2026 DOI: 10.1007/978-3-032-22752-2_24
  +Save
• Efficient Linearizability Monitoring
  Proceedings of the ACM on Programming Languages 2025 DOI: 10.1145/3729328
  +Save
• $$\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
• How Hard Is Weak-Memory Testing?
  Proceedings of the ACM on Programming Languages 2024 DOI: 10.1145/3632908
  +Save
• On-the-Fly Static Analysis via Dynamic Bidirected Dyck Reachability
  Proceedings of the ACM on Programming Languages 2024 DOI: 10.1145/3632884
  +Save
• Fairness and Liveness Under Weak Consistency
  2024 DOI: 10.1007/978-3-031-56222-8_1
  +Save
• From Non-punctuality to Non-adjacency: A Quest for Decidability of Timed Temporal Logics with Quantifiers
  Formal Aspects of Computing 2023 DOI: 10.1145/3571749
  +Save
• Optimal Reads-From Consistency Checking for C11-Style Memory Models
  Proceedings of the ACM on Programming Languages 2023 DOI: 10.1145/3591251
  +Save
• Optimal Stateless Model Checking for Causal Consistency
  2023 DOI: 10.1007/978-3-031-30823-9_6
  +Save