S. Krishna - RankMe

18 papers A* 2A 3B 1Journal 8Unranked 4

Year	Rank	Type	Title / 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