Shankaranarayanan Krishna

23 papers A* 2A 2B 2Journal 14Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Efficient Linearizability Monitoring.
CoRR
Parosh Aziz Abdulla, Samuel Grahn, Bengt Jonsson, Shankaranarayanan Krishna, Om Swostik Mishra
2025 J jnl
Efficient Linearizability Monitoring.
Proc. ACM Program. Lang.
Parosh Aziz Abdulla, Samuel Grahn, Bengt Jonsson, Shankaranarayanan Krishna, Om Swostik Mishra
2025 B conf
Reversible Pebble Transducers.
CONCUR
Luc Dartois, Paul Gastin, Loïc Germerie Guizouarn, Shankaranarayanan Krishna
2025 J jnl
Reversible Pebble Transducers.
CoRR
Luc Dartois, Paul Gastin, Loïc Germerie Guizouarn, Shankaranarayanan Krishna
2025 — ed.
Verification, Model Checking, and Abstract Interpretation - 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I
VMCAI (1)
Shankaranarayanan Krishna, Sriram Sankaranarayanan, Ashutosh Trivedi
2025 — ed.
Verification, Model Checking, and Abstract Interpretation - 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II
VMCAI (2)
Shankaranarayanan Krishna, Sriram Sankaranarayanan, Ashutosh Trivedi
2024 J jnl
Integrating Explanations in Learning LTL Specifications from Demonstrations.
CoRR
Ashutosh Gupta, John Komp, Abhay Singh Rajput, Shankaranarayanan Krishna, Ashutosh Trivedi, Namrita Varshney
2024 J jnl
On-the-Fly Static Analysis via Dynamic Bidirected Dyck Reachability.
Proc. ACM Program. Lang.
Shankaranarayanan Krishna, Aniket Lal, Andreas Pavlogiannis, Omkar Tuppe
2024 A conf
Rational Verification with Quantitative Probabilistic Goals.
AAMAS
David Hyland, Julian Gutierrez, Shankaranarayanan Krishna, Michael J. Wooldridge
2024 B conf
Reversible Transducers over Infinite Words.
CONCUR
Luc Dartois, Paul Gastin, Loïc Germerie Guizouarn, R. Govind, Shankaranarayanan Krishna
2024 J jnl
Reversible Transducers over Infinite Words.
CoRR
Luc Dartois, Paul Gastin, Loïc Germerie Guizouarn, R. Govind, Shankaranarayanan Krishna
2023 A* conf
Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements.
AAAI
Kalyani Dole, Ashutosh Gupta, John Komp, Shankaranarayanan Krishna, Ashutosh Trivedi
2023 J jnl
How Hard is Weak-Memory Testing?
CoRR
Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis
2023 J jnl
On-The-Fly Static Analysis via Dynamic Bidirected Dyck Reachability.
CoRR
Shankaranarayanan Krishna, Aniket Lal, Andreas Pavlogiannis, Omkar Tuppe
2023 J jnl
Optimal Reads-From Consistency Checking for C11-Style Memory Models.
CoRR
Parosh Aziz Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç
2023 J jnl
Optimal Reads-From Consistency Checking for C11-Style Memory Models.
Proc. ACM Program. Lang.
Hünkar Can Tunç, Parosh Aziz Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis
2023 — conf
Overcoming Memory Weakness with Unified Fairness - Systematic Verification of Liveness in Weak Memory Models.
CAV (1)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankaranarayanan Krishna, Mihir Vahanwala
2023 J jnl
Overcoming Memory Weakness with Unified Fairness.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankaranarayanan Krishna, Mihir Vahanwala
2023 J jnl
Parameterized Verification under TSO with Data Types.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Adwait Godbole, Yacoub G. Hendi, Shankaranarayanan Krishna, Stephan Spengler
2022 J jnl
Optimal SMC for Transactional Programs.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ashutosh Gupta, Shankaranarayanan Krishna, Omkar Tuppe
2022 A* conf
Parameterized Verification under Release Acquire is PSPACE-complete.
PODC
Shankaranarayanan Krishna, Adwait Godbole, Roland Meyer, Soham Chakraborty
2021 A conf
Event-Triggered and Time-Triggered Duration Calculus for Model-Free Reinforcement Learning.
RTSS
Kalyani Dole, Ashutosh Gupta, John Komp, Shankaranarayanan Krishna, Ashutosh Trivedi
2020 J jnl
The Decidability of Verification under Promising 2.0.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankaranarayanan Krishna, Viktor Vafeiadis