Christopher J. Banks

Identifiers

No identifiers captured yet.

Papers (2)

1. Verification of a lazy cache coherence protocol against a weak memory model cs.LO · 2017 · author #1
2. A More Sensitive Context cs.LO · 2017 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Ian Stark 1 shared papers
• Marco Elver 1 shared papers
• Paul Jackson 1 shared papers
• Ruth Hoffmann 1 shared papers
• Susmit Sarkar 1 shared papers
• Vijay Nagarajan 1 shared papers