Chinmay Narayan

Publication Activity (10 Years)

Years Active: 2012-2020
Publications (10 Years): 3

Top Topics

First Order Logic

Reachability Analysis

Top Venues

Publications

Mohit Kumar, Chinmay Narayan, Sudheendra Hangal, Priyamvada Trivedi
LokDhaba: Acquiring, Visualizing and Disseminating Data on Indian Elections. COMPASS (2020)
Chinmay Narayan, Subodh Vishnu Sharma, Shibashis Guha, S. Arun-Kumar
From Traces to Proofs: Proving Concurrent Programs Safe. TASE (2016)
Chinmay Narayan, Subodh Sharma, S. Arun-Kumar
Efficient Verification of Concurrent Programs Over TSO Memory Model. CoRR (2016)
Chinmay Narayan, Shibashis Guha, S. Arun-Kumar
From Traces To Proofs: Proving Concurrent Program Safe. CoRR (2015)
Shibashis Guha, Chinmay Narayan, S. Arun-Kumar
Reducing Clocks in Timed Automata while Preserving Bisimulation. CoRR (2014)
Shibashis Guha, Chinmay Narayan, S. Arun-Kumar
Reducing Clocks in Timed Automata while Preserving Bisimulation. CONCUR (2014)
Viktor Vafeiadis, Chinmay Narayan
Relaxed separation logic: a program logic for C11 concurrency. OOPSLA (2013)
Shibashis Guha, Shankara Narayanan Krishna, Chinmay Narayan, S. Arun-Kumar
A Unifying Approach to Decide Relations for Timed Automata and their Game Characterization. EXPRESS/SOS (2013)
Chinmay Narayan, Shibashis Guha, S. Arun-Kumar
Inferring Fences in a Concurrent Program Using SC proof of Correctness CoRR (2013)
Shibashis Guha, Chinmay Narayan, S. Arun-Kumar
On Decidability of Prebisimulation for Timed Automata. CAV (2012)