S.Arun-Kumar

Identifiers

• name variant S.Arun-Kumar 0.60 · backfill

Papers (3)

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

Mentions

• 1506.07635 #4 · backfill · confidence 0.70 S.Arun-Kumar
• 1304.2936 #3 · backfill · confidence 0.70 S.Arun-Kumar

Frequent Coauthors

• Chinmay Narayan 3 shared papers
• Shibashis Guha 2 shared papers
• Subodh Sharma 2 shared papers