Shankaranarayanan Krishna | FOCS Lab @ NUShttps://focs-lab.comp.nus.edu.sg/author/shankaranarayanan-krishna/Shankaranarayanan KrishnaHugo Blox Builder (https://hugoblox.com)en-usSun, 01 Jan 2023 00:00:00 +0000https://focs-lab.comp.nus.edu.sg/media/icon_hu5d7d4d7c5767fff68bb2045c417d28ca_165_512x512_fill_lanczos_center_3.pngShankaranarayanan Krishnahttps://focs-lab.comp.nus.edu.sg/author/shankaranarayanan-krishna/Optimal Reads-From Consistency Checking for C11-Style Memory Modelshttps://focs-lab.comp.nus.edu.sg/publication/2023/2023-pldi-tunc-ra-reads-from/Sun, 01 Jan 2023 00:00:00 +0000https://focs-lab.comp.nus.edu.sg/publication/2023/2023-pldi-tunc-ra-reads-from/Weak Singular Hybrid Automatahttps://focs-lab.comp.nus.edu.sg/publication/2014/2014-formats-krishna-weak-singular-hybrid-automata/Wed, 01 Jan 2014 00:00:00 +0000https://focs-lab.comp.nus.edu.sg/publication/2014/2014-formats-krishna-weak-singular-hybrid-automata/