Dan Lustig
Identifiers
- name variant Dan Lustig 0.50 · backfill
Papers (1)
- Weak Memory Models with Matching Axiomatic and Operational Definitions cs.PL · 2017 · author #3
Mentions
No mention provenance yet.
Frequent Coauthors
- Arvind 1 shared papers
- Muralidaran Vijayaraghavan 1 shared papers
- Sizhuo Zhang 1 shared papers