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.

Towards a Model Checking Framework for a New Collector Framework

Bochen Xu, Eliot Moss, Stephen M. Blackburn. Towards a Model Checking Framework for a New Collector Framework. In Elisa Gonzalez Boix, Tobias Wrigstad, editors, Proceedings of the 19th International Conference on Managed Programming Languages and Runtimes, MPLR 2022, Brussels, Belgium, September 14-15, 2022. pages 128-139, ACM, 2022. [doi]

Authors

Bochen Xu

This author has not been identified. Look up 'Bochen Xu' in Google

Eliot Moss

This author has not been identified. Look up 'Eliot Moss' in Google

Stephen M. Blackburn

This author has not been identified. Look up 'Stephen M. Blackburn' in Google
runs on