Search

People
Projects
Publications
Research Support
IndiCS 2026

Light Dark Automatic

Shankaranarayanan Krishna

Latest

Optimal Reads-From Consistency Checking for C11-Style Memory Models
Weak Singular Hybrid Automata

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.

Cite