S. Krishna
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
9
Active years
2010–2026
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FM | Complexity of Consistency Testing for the Release-Acquire Semantics. | R. Govind, S. Krishna, Sanchari Sil, B. Srivathsan |
| 2025 | CAV | sfGPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency. | Soham Chakraborty, S. Krishna, Andreas Pavlogiannis, Omkar Tuppe |
| 2024 | KR | Boundedness for Unions of Conjunctive Regular Path Queries over Simple Regular Expressions. | Diego Figueira, S. Krishna, Om Swostik Mishra, Anantha Padmanabha |
| 2023 | TACAS | Optimal Stateless Model Checking for Causal Consistency. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, S. Krishna, Ashutosh Gupta, Omkar Tuppe |
| 2022 | ESOP | Probabilistic Total Store Ordering. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Raj Aryan Agarwal, Adwait Godbole, S. Krishna |
| 2021 | CONCUR | Scope-Bounded Reachability in Valence Systems. | Aneesh K. Shetty, S. Krishna, Georg Zetzsche |
| 2021 | ESOP | The Decidability of Verification under PS 2.0. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, S. Krishna, Viktor Vafeiadis |
| 2020 | KR | Containment of Simple Conjunctive Regular Path Queries. | Diego Figueira, Adwait Godbole, S. Krishna, Wim Martens, Matthias Niewerth, Tina Trautner |
| 2020 | TACAS | Revisiting Underapproximate Reachability for Multipushdown Systems. | S. Akshay, Paul Gastin, S. Krishna, Sparsa Roychowdhury |
| 2011 | ACC | An Efficient Framework for Prediction in Healthcare Data Using Soft Computing Techniques. | Veena H. Bhat, Prasanth G. Rao, S. Krishna, P. Deepa Shenoy, K. R. Venugopal, Lalit M. Patnaik |
| 2010 | ISDA | SURF: Steganalysis using random forests. | Veena H. Bhat, S. Krishna, P. Deepa Shenoy |
| 2010 | SECRYPT | HUBFIRE - A Multi-class SVM based JPEG Steganalysis using HBCL Statistics and FR Index. | Veena H. Bhat, S. Krishna, P. Deepa Shenoy, K. R. Venugopal, Lalit M. Patnaik |