Chinmay Narayan

According to our database, Chinmay Narayan authored at least 9 papers between 2012 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2020

LokDhaba: Acquiring, Visualizing and Disseminating Data on Indian Elections.

Mohit Kumar, Chinmay Narayan, Sudheendra Hangal, Priyamvada Trivedi

Proceedings of the 3rd ACM SIGCAS Conference on Computing and Sustainable Societies, 2020

2016

Efficient Verification of Concurrent Programs Over TSO Memory Model.

Chinmay Narayan, Subodh Sharma, S. Arun-Kumar

CoRR, 2016

From Traces to Proofs: Proving Concurrent Programs Safe.

Chinmay Narayan, Subodh Vishnu Sharma, Shibashis Guha, S. Arun-Kumar

Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

2015

From Traces To Proofs: Proving Concurrent Program Safe.

Chinmay Narayan, Shibashis Guha, S. Arun-Kumar

CoRR, 2015

2014

Reducing Clocks in Timed Automata while Preserving Bisimulation.

Shibashis Guha, Chinmay Narayan, S. Arun-Kumar

Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

2013

Inferring Fences in a Concurrent Program Using SC proof of Correctness

Chinmay Narayan, Shibashis Guha, S. Arun-Kumar

CoRR, 2013

A Unifying Approach to Decide Relations for Timed Automata and their Game Characterization.

Shibashis Guha, Shankara Narayanan Krishna, Chinmay Narayan, S. Arun-Kumar

Proceedings of the Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics, 2013

Relaxed separation logic: a program logic for C11 concurrency.

Viktor Vafeiadis, Chinmay Narayan

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

2012

On Decidability of Prebisimulation for Timed Automata.

Shibashis Guha, Chinmay Narayan, S. Arun-Kumar

Proceedings of the Computer Aided Verification - 24th International Conference, 2012