Shankaranarayanan Krishna -

Registered user since Mon 22 Apr 2019

Name:Shankaranarayanan Krishna

Country:India

Affiliation:IIT Bombay

Personal website: https://www.cse.iitb.ac.in/~krishnas/

Contributions

2026

POPL

Committee Member in Program Committee within the POPL-track

2025

ATVA

PC Member in Programme Committee

PLDI

Author of Efficient Linearizability Monitoring within the PLDI Research Papers-track

VMCAI

2024

APLAS

Committee Member in Selection Committee within the SRC & Posters-track

POPL

Author of On-The-Fly Static Analysis via Dynamic Bidirected Dyck Reachability within the POPL-track
Author of How Hard is Weak-Memory Testing? within the POPL-track

2023

PLDI

Author of Optimal Reads-From Consistency Checking for C11-Style Memory Models within the PLDI Research Papers-track

2022

APLAS

Author of Verification of Concurrent Programs under Release-Acquire Concurrency within the APLAS-track

2019

PLDI

Author of Verification of Programs under the Release-Acquire Semantics within the PLDI Research Papers-track