Muralidaran Vijayaraghavan

Identifiers

• name variant Muralidaran Vijayaraghavan 0.60 · backfill

Papers (6)

1. Constructing a Weak Memory Model cs.AR · 2018 · author #2
2. Weak Memory Models with Matching Axiomatic and Operational Definitions cs.PL · 2017 · author #2
3. Weak Memory Models: Balancing Definitional Simplicity and Implementation Flexibility cs.PL · 2017 · author #2
4. An Operational Framework for Specifying Memory Models using Instantaneous Instruction Execution cs.PL · 2017 · author #2
5. Taming Weak Memory Models cs.PL · 2016 · author #3
6. A Proof of Correctness for the Tardis Cache Coherence Protocol cs.DC · 2015 · author #2

Mentions

• 1505.06459 #2 · backfill · confidence 0.70 Muralidaran Vijayaraghavan

Frequent Coauthors

• Arvind 5 shared papers
• Sizhuo Zhang 5 shared papers
• Andrew Wright 1 shared papers
• Dan Lustig 1 shared papers
• Mehdi Alipour 1 shared papers
• Srinivas Devadas 1 shared papers
• Xiangyao Yu 1 shared papers