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.

Interference relation-guided SMT solving for multi-threaded program verification

Hongyu Fan, Weiting Liu, Fei He 0001. Interference relation-guided SMT solving for multi-threaded program verification. In Jaejin Lee, Kunal Agrawal, Michael F. Spear, editors, PPoPP '22: 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Seoul, Republic of Korea, April 2 - 6, 2022. pages 163-176, ACM, 2022. [doi]

Authors

Hongyu Fan

This author has not been identified. Look up 'Hongyu Fan' in Google

Weiting Liu

This author has not been identified. Look up 'Weiting Liu' in Google

Fei He 0001

This author has not been identified. Look up 'Fei He 0001' in Google
runs on