Steven Cheng

Identifiers

• name variant Steven Cheng 0.60 · backfill

Papers (1)

1. Partition Consistency: A Case Study in Modeling Systems with Weak Memory Consistency and Proving Correctness of their Implementations cs.DC · 2013 · author #1

Mentions

• 1306.0077 #1 · backfill · confidence 0.70 Steven Cheng

Frequent Coauthors

• Jalal Kawash 1 shared papers
• Lisa Higham 1 shared papers