External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Program Regularization in Memory Consistency Verification

Yunji Chen, Lei Li, Tianshi Chen, Ling Li, Lei Wang, Xiaoxue Feng, Weiwu Hu. Program Regularization in Memory Consistency Verification. IEEE Trans. Parallel Distrib. Syst., 23(11):2163-2174, 2012. [doi]

Authors

Yunji Chen

This author has not been identified. Look up 'Yunji Chen' in Google

Lei Li

This author has not been identified. Look up 'Lei Li' in Google

Tianshi Chen

This author has not been identified. Look up 'Tianshi Chen' in Google

Ling Li

This author has not been identified. Look up 'Ling Li' in Google

Lei Wang

This author has not been identified. Look up 'Lei Wang' in Google

Xiaoxue Feng

This author has not been identified. Look up 'Xiaoxue Feng' in Google

Weiwu Hu

This author has not been identified. Look up 'Weiwu Hu' in Google
runs on