S. Krishna

18 papers A* 2A 3B 1Journal 8Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
GPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency.
CoRR
Soham Chakraborty, S. Krishna, Andreas Pavlogiannis, Omkar Tuppe
2025 — conf
sfGPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency.
CAV (3)
Soham Chakraborty, S. Krishna, Andreas Pavlogiannis, Omkar Tuppe
2024 A* conf
Boundedness for Unions of Conjunctive Regular Path Queries over Simple Regular Expressions.
KR
Diego Figueira, S. Krishna, Om Swostik Mishra, Anantha Padmanabha
2024 J jnl
Boundedness for Unions of Conjunctive Regular Path Queries over Simple Regular Expressions.
CoRR
Diego Figueira, S. Krishna, Om Swostik Mishra, Anantha Padmanabha
2023 A conf
LTL-Based Non-Markovian Inverse Reinforcement Learning.
AAMAS
Mohammad Afzal, Sankalp Gambhir, Ashutosh Gupta, S. Krishna, Ashutosh Trivedi, Alvaro Velasquez
2023 — conf
Optimal Stateless Model Checking for Causal Consistency.
TACAS (1)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, S. Krishna, Ashutosh Gupta, Omkar Tuppe
2022 A conf
Probabilistic Total Store Ordering.
ESOP
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Raj Aryan Agarwal, Adwait Godbole, S. Krishna
2022 J jnl
Probabilistic Total Store Ordering.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Raj Aryan Agarwal, Adwait Godbole, S. Krishna
2021 J jnl
Quantitative Learning of LTL from Finite Traces.
CoRR
Mohammad Afzal, Sankalp Gambhir, Ashutosh Gupta, S. Krishna
2021 — conf
Resilience of Timed Systems.
FSTTCS
S. Akshay, Blaise Genest, Loïc Hélouët, S. Krishna, Sparsa Roychowdhury
2021 B conf
Scope-Bounded Reachability in Valence Systems.
CONCUR
Aneesh K. Shetty, S. Krishna, Georg Zetzsche
2021 J jnl
Scope-Bounded Reachability in Valence Systems.
CoRR
Aneesh K. Shetty, S. Krishna, Georg Zetzsche
2021 A conf
The Decidability of Verification under PS 2.0.
ESOP
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, S. Krishna, Viktor Vafeiadis
2020 A* conf
Containment of Simple Conjunctive Regular Path Queries.
KR
Diego Figueira, Adwait Godbole, S. Krishna, Wim Martens, Matthias Niewerth, Tina Trautner
2020 J jnl
Containment of Simple Regular Path Queries.
CoRR
Diego Figueira, Adwait Godbole, S. Krishna, Wim Martens, Matthias Niewerth, Tina Trautner
2020 — conf
Revisiting Underapproximate Reachability for Multipushdown Systems.
TACAS (1)
S. Akshay, Paul Gastin, S. Krishna, Sparsa Roychowdhury
2020 J jnl
Revisiting Underapproximate Reachability for Multipushdown Systems.
CoRR
S. Akshay, Paul Gastin, S. Krishna, Sparsa Roychowdhury
2018 J jnl
Regular and First Order List Functions.
CoRR
Mikolaj Bojanczyk, Laure Daviaud, S. Krishna