Shankaranarayanan Krishna

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 12

Top Topics

Symbolic Execution

Static Analysis

Top Venues

Proc. ACM Program. Lang.

Publications

Luc Dartois, Paul Gastin, Loïc Germerie Guizouarn, R. Govind, Shankaranarayanan Krishna
Reversible Transducers over Infinite Words. CoRR (2024)
David Hyland, Julian Gutierrez, Shankaranarayanan Krishna, Michael J. Wooldridge
Rational Verification with Quantitative Probabilistic Goals. AAMAS (2024)
Luc Dartois, Paul Gastin, Loïc Germerie Guizouarn, R. Govind, Shankaranarayanan Krishna
Reversible Transducers over Infinite Words. CONCUR (2024)
Shankaranarayanan Krishna, Aniket Lal, Andreas Pavlogiannis, Omkar Tuppe
On-the-Fly Static Analysis via Dynamic Bidirected Dyck Reachability. Proc. ACM Program. Lang. 8 (POPL) (2024)
Ashutosh Gupta, John Komp, Abhay Singh Rajput, Shankaranarayanan Krishna, Ashutosh Trivedi, Namrita Varshney
Integrating Explanations in Learning LTL Specifications from Demonstrations. CoRR (2024)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankaranarayanan Krishna, Mihir Vahanwala
Overcoming Memory Weakness with Unified Fairness - Systematic Verification of Liveness in Weak Memory Models. CAV (1) (2023)
Kalyani Dole, Ashutosh Gupta, John Komp, Shankaranarayanan Krishna, Ashutosh Trivedi
Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements. AAAI (2023)
Hünkar Can Tunç, Parosh Aziz Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis
Optimal Reads-From Consistency Checking for C11-Style Memory Models. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankaranarayanan Krishna, Mihir Vahanwala
Overcoming Memory Weakness with Unified Fairness. CoRR (2023)
Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis
How Hard is Weak-Memory Testing? CoRR (2023)
Shankaranarayanan Krishna, Aniket Lal, Andreas Pavlogiannis, Omkar Tuppe
On-The-Fly Static Analysis via Dynamic Bidirected Dyck Reachability. CoRR (2023)
Mohammad Afzal, Sankalp Gambhir, Ashutosh Gupta, Shankaranarayanan Krishna
Quantitative Learning of LTL from Finite Traces. CoRR (2021)