Sanchari Sil

Identifiers

No identifiers captured yet.

Papers (2)

1. Verifying Sequential Consistency under Bounded Preemptions cs.PL · 2026 · author #3
2. Complexity of Consistency Testing for the Release-Acquire Semantics cs.CC · 2026 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• B. Srivathsan 2 shared papers
• R. Govind 2 shared papers
• S. Krishna 2 shared papers