Chinmay Narayan

Identifiers

• name variant Chinmay Narayan 0.60 · backfill

Papers (4)

1. Efficient Verification of Concurrent Programs Over TSO Memory Model cs.LO · 2016 · author #1
2. From Traces To Proofs: Proving Concurrent Program Safe cs.PL · 2015 · author #1
3. Reducing Clocks in Timed Automata while Preserving Bisimulation cs.FL · 2014 · author #2
4. Inferring Fences in a Concurrent Program Using SC proof of Correctness cs.LO · 2013 · author #1

Mentions

• 1506.07635 #1 · backfill · confidence 0.70 Chinmay Narayan
• 1404.6613 #2 · backfill · confidence 0.70 Chinmay Narayan
• 1304.2936 #1 · backfill · confidence 0.70 Chinmay Narayan

Frequent Coauthors

• S.Arun-Kumar 3 shared papers
• Shibashis Guha 3 shared papers
• Subodh Sharma 2 shared papers
• S. Arun-Kumar 1 shared papers