Divjyot Sethi

Identifiers

• name variant Divjyot Sethi 0.60 · backfill

Papers (1)

1. Using Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom cs.DC · 2014 · author #1

Mentions

• 1407.7468 #1 · backfill · confidence 0.70 Divjyot Sethi

Frequent Coauthors

• Muralidhar Talupur 1 shared papers
• Sharad Malik 1 shared papers