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]
@inproceedings{XuMB22,
title = {Towards a Model Checking Framework for a New Collector Framework},
author = {Bochen Xu and Eliot Moss and Stephen M. Blackburn},
year = {2022},
doi = {10.1145/3546918.3546923},
url = {https://doi.org/10.1145/3546918.3546923},
researchr = {https://researchr.org/publication/XuMB22},
cites = {0},
citedby = {0},
pages = {128-139},
booktitle = {Proceedings of the 19th International Conference on Managed Programming Languages and Runtimes, MPLR 2022, Brussels, Belgium, September 14-15, 2022},
editor = {Elisa Gonzalez Boix and Tobias Wrigstad},
publisher = {ACM},
isbn = {978-1-4503-9696-7},
}